| Parent directory/ | - | - |
| rocqide_9.2.0+dfsg-4_i386.deb | 623.9 KiB | 25-08-2026 12:22 |
| rocqide_9.2.0+dfsg-4_armhf.deb | 553.1 KiB | 25-08-2026 12:16 |
| rocqide_9.2.0+dfsg-4_arm64.deb | 2.1 MiB | 25-08-2026 12:22 |
| rocqide_9.2.0+dfsg-4_amd64.deb | 1.9 MiB | 25-08-2026 12:22 |
| libcoq-core_9.2.0+dfsg-4_i386.deb | 1.1 MiB | 25-08-2026 12:22 |
| libcoq-core_9.2.0+dfsg-4_armhf.deb | 1.1 MiB | 25-08-2026 12:16 |
| libcoq-core_9.2.0+dfsg-4_arm64.deb | 1.1 MiB | 25-08-2026 12:22 |
| libcoq-core_9.2.0+dfsg-4_amd64.deb | 1.1 MiB | 25-08-2026 12:22 |
| libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb | 17.2 MiB | 25-08-2026 12:22 |
| libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb | 17.2 MiB | 25-08-2026 12:16 |
| libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb | 25.1 MiB | 25-08-2026 12:22 |
| libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb | 24.6 MiB | 25-08-2026 12:22 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb | 44.4 MiB | 25-08-2026 12:22 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb | 44.4 MiB | 25-08-2026 12:16 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb | 53.5 MiB | 25-08-2026 12:22 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb | 53.1 MiB | 25-08-2026 12:22 |
| coq_9.2.0+dfsg.orig.tar.xz | 3.8 MiB | 10-07-2026 08:36 |
| coq_9.2.0+dfsg-4_i386.deb | 23.2 MiB | 25-08-2026 12:22 |
| coq_9.2.0+dfsg-4_armhf.deb | 23.0 MiB | 25-08-2026 12:16 |
| coq_9.2.0+dfsg-4_arm64.deb | 42.5 MiB | 25-08-2026 12:22 |
| coq_9.2.0+dfsg-4_amd64.deb | 39.4 MiB | 25-08-2026 12:22 |
| coq_9.2.0+dfsg-4.dsc | 2.6 KiB | 25-08-2026 11:56 |
| coq_9.2.0+dfsg-4.debian.tar.xz | 27.6 KiB | 25-08-2026 11:56 |