| name | size | date |
|---|---|---|
| libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb | 121.1K | 2025-09-14 02:24:28 |
| libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb | 126.1K | 2024-11-26 18:23:57 |
| libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb | 126.4K | 2024-11-15 06:57:30 |
| libcoq-paramcoq-ocaml-dev_1.1.3-7_amd64.deb | 25.4K | 2023-08-11 11:58:56 |
| libcoq-paramcoq-ocaml_1.1.3-7_amd64.deb | 107.8K | 2023-08-11 11:58:56 |
| libcoq-paramcoq_1.1.3-7_amd64.deb | 3.0K | 2023-08-11 11:58:56 |