| Parent directory/ | - | - |
| libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb | 23527164 | 2025-Jun-15 01:07 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 21526056 | 2023-Feb-13 01:14 |
| libcoq-ocaml_8.12.0-3+b3_amd64.deb | 7758156 | 2020-Nov-25 07:28 |
| libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb | 18727404 | 2020-Nov-25 07:28 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb | 25955760 | 2025-Jun-15 01:07 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 22556068 | 2023-Feb-13 01:14 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb | 68700208 | 2025-Jun-15 01:07 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 42725424 | 2023-Feb-13 01:14 |
| coqide_8.20.1+dfsg-1+b1_amd64.deb | 1930360 | 2025-Jun-15 01:07 |
| coqide_8.16.1+dfsg-1+b2_amd64.deb | 1993412 | 2023-Feb-13 01:14 |
| coqide_8.12.0-3+b3_amd64.deb | 1879212 | 2020-Nov-25 07:28 |
| coq_8.20.1+dfsg-1+b1_amd64.deb | 70222224 | 2025-Jun-15 01:07 |
| coq_8.16.1+dfsg-1+b2_amd64.deb | 93212572 | 2023-Feb-13 01:14 |
| coq_8.12.0-3+b3_amd64.deb | 90453192 | 2020-Nov-25 07:28 |
| coq-theories_8.12.0-3+b3_amd64.deb | 36501836 | 2020-Nov-25 07:28 |