Index of /debian/pool/main/c/coq-gappa/
../
coq-gappa_1.10.0-2.debian.tar.xz 28-Jul-2026 09:24 3540
coq-gappa_1.10.0-2.dsc 28-Jul-2026 09:24 2111
coq-gappa_1.10.0-3.debian.tar.xz 03-Aug-2026 07:17 3588
coq-gappa_1.10.0-3.dsc 03-Aug-2026 07:17 2111
coq-gappa_1.10.0-4.debian.tar.xz 03-Aug-2026 10:11 3620
coq-gappa_1.10.0-4.dsc 03-Aug-2026 10:11 2135
coq-gappa_1.10.0.orig.tar.gz 10-Jul-2026 09:09 89K
coq-gappa_1.11.0-1.debian.tar.xz 03-Aug-2026 16:54 3640
coq-gappa_1.11.0-1.dsc 03-Aug-2026 16:54 2135
coq-gappa_1.11.0.orig.tar.gz 03-Aug-2026 16:54 91K
coq-gappa_1.5.2-5.debian.tar.xz 26-Jan-2023 05:44 2008
coq-gappa_1.5.2-5.dsc 26-Jan-2023 05:44 2073
coq-gappa_1.5.2.orig.tar.bz2 19-Jul-2022 00:00 72K
coq-gappa_1.7.0-1.debian.tar.xz 20-Feb-2025 08:41 2208
coq-gappa_1.7.0-1.dsc 20-Feb-2025 08:41 2095
coq-gappa_1.7.0.orig.tar.bz2 20-Feb-2025 08:41 75K
libcoq-gappa_1.10.0-2+b1_amd64.deb 31-Jul-2026 13:30 594K
libcoq-gappa_1.10.0-2_arm64.deb 28-Jul-2026 09:44 596K
libcoq-gappa_1.10.0-2_ppc64el.deb 28-Jul-2026 09:44 593K
libcoq-gappa_1.10.0-2_riscv64.deb 28-Jul-2026 10:05 595K
libcoq-gappa_1.10.0-2_s390x.deb 28-Jul-2026 10:00 594K
libcoq-gappa_1.10.0-3+b1_amd64.deb 03-Aug-2026 08:34 594K
libcoq-gappa_1.10.0-3_amd64.deb 03-Aug-2026 07:17 594K
libcoq-gappa_1.10.0-3_arm64.deb 03-Aug-2026 07:43 596K
libcoq-gappa_1.10.0-3_ppc64el.deb 03-Aug-2026 07:48 593K
libcoq-gappa_1.10.0-3_riscv64.deb 03-Aug-2026 10:42 595K
libcoq-gappa_1.10.0-3_s390x.deb 03-Aug-2026 07:48 594K
libcoq-gappa_1.10.0-4+b1_amd64.deb 03-Aug-2026 12:29 594K
libcoq-gappa_1.10.0-4_amd64.deb 03-Aug-2026 10:11 594K
libcoq-gappa_1.10.0-4_arm64.deb 03-Aug-2026 10:42 597K
libcoq-gappa_1.10.0-4_ppc64el.deb 03-Aug-2026 10:42 593K
libcoq-gappa_1.10.0-4_riscv64.deb 03-Aug-2026 12:09 595K
libcoq-gappa_1.10.0-4_s390x.deb 03-Aug-2026 10:47 594K
libcoq-gappa_1.11.0-1_amd64.deb 03-Aug-2026 17:25 609K
libcoq-gappa_1.11.0-1_arm64.deb 03-Aug-2026 17:25 612K
libcoq-gappa_1.11.0-1_ppc64el.deb 03-Aug-2026 18:22 608K
libcoq-gappa_1.11.0-1_riscv64.deb 03-Aug-2026 17:40 611K
libcoq-gappa_1.5.2-5+b1_amd64.deb 13-Feb-2023 00:28 504K
libcoq-gappa_1.5.2-5+b1_arm64.deb 13-Feb-2023 00:28 506K
libcoq-gappa_1.5.2-5+b1_armhf.deb 13-Feb-2023 00:28 502K
libcoq-gappa_1.5.2-5+b1_i386.deb 13-Feb-2023 00:08 500K
libcoq-gappa_1.5.2-5+b1_ppc64el.deb 14-Feb-2023 03:44 503K
libcoq-gappa_1.5.2-5+b1_s390x.deb 13-Feb-2023 00:08 504K
libcoq-gappa_1.7.0-1+b1_amd64.deb 15-Jun-2025 04:15 538K
libcoq-gappa_1.7.0-1+b1_arm64.deb 15-Jun-2025 04:15 541K
libcoq-gappa_1.7.0-1+b1_ppc64el.deb 15-Jun-2025 04:15 537K
libcoq-gappa_1.7.0-1+b1_riscv64.deb 15-Jun-2025 05:00 539K
libcoq-gappa_1.7.0-1+b2_s390x.deb 17-Jun-2025 12:59 538K
libcoq-gappa_1.7.0-1+b3_ppc64el.deb 20-Jun-2026 08:16 537K
libcoq-gappa_1.7.0-1+b3_riscv64.deb 22-Jun-2026 06:16 539K
libcoq-gappa_1.7.0-1+b4_amd64.deb 20-Jun-2026 08:16 538K
libcoq-gappa_1.7.0-1+b4_arm64.deb 20-Jun-2026 08:16 540K
libcoq-gappa_1.7.0-1+b4_s390x.deb 20-Jun-2026 08:15 539K