| Name | Last Modified | Size | Type | |
|---|---|---|---|---|
|
coq_8.12.0-3+b3_ia64.deb | 2024-07-13 04:40 | 103.380 KB | .deb |
|
coqide_8.12.0-3+b3_ia64.deb | 2024-07-13 04:40 | 46 KB | .deb |
|
coq-theories_8.12.0-3+b3_ia64.deb | 2024-07-13 04:40 | 23.359 KB | .deb |
|
libcoq-ocaml_8.12.0-3+b3_ia64.deb | 2024-07-13 04:40 | 5.338 KB | .deb |
|
libcoq-ocaml-dbgsym_8.12.0-3+b3_ia64.deb | 2024-07-13 04:40 | 43 KB | .deb |
|
libcoq-ocaml-dev_8.12.0-3+b3_ia64.deb | 2024-07-13 04:40 | 11.016 KB | .deb |
6 items, 143.179 KB
For questions, suggestions and takedown requests contact: files@etlam.eu