Index of /debian/pool/main/c/coq-gappa/
../
coq-gappa_1.10.0-2.debian.tar.xz 28-Jul-2026 16:24 3540
coq-gappa_1.10.0-2.dsc 28-Jul-2026 16:24 2111
coq-gappa_1.10.0-3.debian.tar.xz 03-Aug-2026 14:17 3588
coq-gappa_1.10.0-3.dsc 03-Aug-2026 14:17 2111
coq-gappa_1.10.0-4.debian.tar.xz 03-Aug-2026 17:11 3620
coq-gappa_1.10.0-4.dsc 03-Aug-2026 17:11 2135
coq-gappa_1.10.0.orig.tar.gz 10-Jul-2026 16:09 91600
coq-gappa_1.5.2-5.debian.tar.xz 26-Jan-2023 12:44 2008
coq-gappa_1.5.2-5.dsc 26-Jan-2023 12:44 2073
coq-gappa_1.5.2.orig.tar.bz2 19-Jul-2022 07:00 73542
coq-gappa_1.7.0-1.debian.tar.xz 20-Feb-2025 15:41 2208
coq-gappa_1.7.0-1.dsc 20-Feb-2025 15:41 2095
coq-gappa_1.7.0.orig.tar.bz2 20-Feb-2025 15:41 76391
libcoq-gappa_1.10.0-2+b1_amd64.deb 31-Jul-2026 20:30 608308
libcoq-gappa_1.10.0-2_arm64.deb 28-Jul-2026 16:44 610780
libcoq-gappa_1.10.0-2_ppc64el.deb 28-Jul-2026 16:44 606936
libcoq-gappa_1.10.0-2_riscv64.deb 28-Jul-2026 17:05 609256
libcoq-gappa_1.10.0-2_s390x.deb 28-Jul-2026 17:00 608760
libcoq-gappa_1.10.0-3+b1_amd64.deb 03-Aug-2026 15:34 608188
libcoq-gappa_1.10.0-3_amd64.deb 03-Aug-2026 14:17 608224
libcoq-gappa_1.10.0-3_arm64.deb 03-Aug-2026 14:43 610776
libcoq-gappa_1.10.0-3_ppc64el.deb 03-Aug-2026 14:48 606876
libcoq-gappa_1.10.0-3_riscv64.deb 03-Aug-2026 17:42 609468
libcoq-gappa_1.10.0-3_s390x.deb 03-Aug-2026 14:48 608752
libcoq-gappa_1.10.0-4+b1_amd64.deb 03-Aug-2026 19:29 608300
libcoq-gappa_1.10.0-4_amd64.deb 03-Aug-2026 17:11 608060
libcoq-gappa_1.10.0-4_arm64.deb 03-Aug-2026 17:42 610928
libcoq-gappa_1.10.0-4_ppc64el.deb 03-Aug-2026 17:42 606824
libcoq-gappa_1.10.0-4_riscv64.deb 03-Aug-2026 19:09 609256
libcoq-gappa_1.10.0-4_s390x.deb 03-Aug-2026 17:47 608620
libcoq-gappa_1.5.2-5+b1_amd64.deb 13-Feb-2023 07:28 515836
libcoq-gappa_1.5.2-5+b1_arm64.deb 13-Feb-2023 07:28 518528
libcoq-gappa_1.5.2-5+b1_armhf.deb 13-Feb-2023 07:28 514156
libcoq-gappa_1.5.2-5+b1_i386.deb 13-Feb-2023 07:08 512336
libcoq-gappa_1.5.2-5+b1_ppc64el.deb 14-Feb-2023 10:44 515168
libcoq-gappa_1.5.2-5+b1_s390x.deb 13-Feb-2023 07:08 516236
libcoq-gappa_1.7.0-1+b1_amd64.deb 15-Jun-2025 11:15 550700
libcoq-gappa_1.7.0-1+b1_arm64.deb 15-Jun-2025 11:15 553896
libcoq-gappa_1.7.0-1+b1_ppc64el.deb 15-Jun-2025 11:15 549964
libcoq-gappa_1.7.0-1+b1_riscv64.deb 15-Jun-2025 12:00 551472
libcoq-gappa_1.7.0-1+b2_s390x.deb 17-Jun-2025 19:59 551268
libcoq-gappa_1.7.0-1+b3_ppc64el.deb 20-Jun-2026 15:16 549704
libcoq-gappa_1.7.0-1+b3_riscv64.deb 22-Jun-2026 13:16 552200
libcoq-gappa_1.7.0-1+b4_amd64.deb 20-Jun-2026 15:16 550932
libcoq-gappa_1.7.0-1+b4_arm64.deb 20-Jun-2026 15:16 553412
libcoq-gappa_1.7.0-1+b4_s390x.deb 20-Jun-2026 15:15 551872