| Parent directory/ | - | - |
| coq_9.2.0+dfsg-4.debian.tar.xz | 27.6 KiB | August 25, 2026 18:56 |
| coq_9.2.0+dfsg-4.dsc | 2.6 KiB | August 25, 2026 18:56 |
| coq_9.2.0+dfsg-4_amd64.deb | 39.4 MiB | August 25, 2026 19:22 |
| coq_9.2.0+dfsg.orig.tar.xz | 3.8 MiB | July 10, 2026 15:36 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb | 53.1 MiB | August 25, 2026 19:22 |
| libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb | 24.6 MiB | August 25, 2026 19:22 |
| libcoq-core_9.2.0+dfsg-4_amd64.deb | 1.1 MiB | August 25, 2026 19:22 |
| rocqide_9.2.0+dfsg-4_amd64.deb | 1.9 MiB | August 25, 2026 19:22 |