| Parent directory/ | - | - |
| coq_8.19.1+dfsg-3+b2_arm64.deb | 91798804 | 2024-Aug-20 20:16 |
| coq_8.19.1+dfsg-2_arm64.deb | 87839636 | 2024-Jun-15 09:02 |
| coq_8.19.1+dfsg-3+b2_amd64.deb | 86624372 | 2024-Aug-20 20:10 |
| coq_8.19.1+dfsg-2_amd64.deb | 82408248 | 2024-Jun-15 08:46 |
| coq_8.19.1+dfsg-2_armhf.deb | 79354260 | 2024-Jun-15 08:47 |
| coq_8.19.1+dfsg-2_i386.deb | 78939068 | 2024-Jun-15 08:47 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb | 67218564 | 2024-Aug-20 20:10 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb | 67061436 | 2024-Aug-20 20:16 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb | 45968040 | 2024-Jun-15 08:47 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb | 45626648 | 2024-Jun-15 09:02 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb | 45600788 | 2024-Jun-15 08:46 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb | 45432792 | 2024-Jun-15 08:47 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb | 25476428 | 2024-Aug-20 20:16 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb | 25065856 | 2024-Aug-20 20:10 |
| libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb | 23706108 | 2024-Jun-15 09:02 |
| libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb | 23657888 | 2024-Aug-20 20:10 |
| libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb | 23656208 | 2024-Aug-20 20:16 |
| libcoq-stdlib_8.19.1+dfsg-2_arm64.deb | 23655964 | 2024-Jun-15 09:02 |
| libcoq-stdlib_8.19.1+dfsg-2_armhf.deb | 23655384 | 2024-Jun-15 08:47 |
| libcoq-stdlib_8.19.1+dfsg-2_i386.deb | 23654068 | 2024-Jun-15 08:47 |
| libcoq-stdlib_8.19.1+dfsg-2_amd64.deb | 23653476 | 2024-Jun-15 08:46 |
| libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb | 23200112 | 2024-Jun-15 08:46 |
| libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb | 23046992 | 2024-Jun-15 08:47 |
| libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb | 22638372 | 2024-Jun-15 08:47 |
| coq_8.19.1+dfsg.orig.tar.bz2 | 5589471 | 2024-Apr-26 15:46 |
| coqide_8.19.1+dfsg-3+b2_arm64.deb | 2469440 | 2024-Aug-20 20:16 |
| coqide_8.19.1+dfsg-2_arm64.deb | 2335816 | 2024-Jun-15 09:02 |
| coqide_8.19.1+dfsg-3+b2_amd64.deb | 2151312 | 2024-Aug-20 20:10 |
| coqide_8.19.1+dfsg-2_amd64.deb | 2007760 | 2024-Jun-15 08:46 |
| coqide_8.19.1+dfsg-2_armhf.deb | 1848968 | 2024-Jun-15 08:47 |
| coqide_8.19.1+dfsg-2_i386.deb | 1821012 | 2024-Jun-15 08:47 |
| coq_8.19.1+dfsg-3.debian.tar.xz | 32904 | 2024-Aug-03 09:53 |
| coq_8.19.1+dfsg-2.debian.tar.xz | 32852 | 2024-Jun-15 08:05 |
| coq_8.19.1+dfsg-2.dsc | 2341 | 2024-Jun-15 08:05 |
| coq_8.19.1+dfsg-3.dsc | 2341 | 2024-Aug-03 09:53 |