Index of /debian/pool/main/c/coq-gappa/
../
coq-gappa_1.5.2-5.debian.tar.xz 26-Jan-2023 20:44 2008
coq-gappa_1.5.2-5.dsc 26-Jan-2023 20:44 2073
coq-gappa_1.5.2.orig.tar.bz2 19-Jul-2022 15:00 72K
coq-gappa_1.5.4-1.debian.tar.xz 22-Dec-2023 19:07 2196
coq-gappa_1.5.4-1.dsc 22-Dec-2023 19:07 2073
coq-gappa_1.5.4.orig.tar.bz2 22-Dec-2023 19:07 72K
coq-gappa_1.5.5-1.debian.tar.xz 26-Apr-2024 22:01 2212
coq-gappa_1.5.5-1.dsc 26-Apr-2024 22:01 2073
coq-gappa_1.5.5-2.debian.tar.xz 04-Aug-2024 13:19 2356
coq-gappa_1.5.5-2.dsc 04-Aug-2024 13:19 1852
coq-gappa_1.5.5.orig.tar.bz2 26-Apr-2024 22:01 72K
coq-gappa_1.6.0-1.debian.tar.xz 24-Jan-2025 05:57 2344
coq-gappa_1.6.0-1.dsc 24-Jan-2025 05:57 2095
coq-gappa_1.6.0.orig.tar.bz2 24-Jan-2025 05:57 74K
coq-gappa_1.7.0-1.debian.tar.xz 20-Feb-2025 23:41 2208
coq-gappa_1.7.0-1.dsc 20-Feb-2025 23:41 2095
coq-gappa_1.7.0.orig.tar.bz2 20-Feb-2025 23:41 75K
libcoq-gappa_1.5.2-5+b1_amd64.deb 13-Feb-2023 15:28 504K
libcoq-gappa_1.5.2-5+b1_arm64.deb 13-Feb-2023 15:28 506K
libcoq-gappa_1.5.2-5+b1_armhf.deb 13-Feb-2023 15:28 502K
libcoq-gappa_1.5.2-5+b1_i386.deb 13-Feb-2023 15:08 500K
libcoq-gappa_1.5.2-5+b1_ppc64el.deb 14-Feb-2023 18:44 503K
libcoq-gappa_1.5.2-5+b1_s390x.deb 13-Feb-2023 15:08 504K
libcoq-gappa_1.5.4-1_amd64.deb 23-Dec-2023 19:47 484K
libcoq-gappa_1.5.4-1_arm64.deb 23-Dec-2023 19:53 487K
libcoq-gappa_1.5.4-1_armhf.deb 23-Dec-2023 19:52 483K
libcoq-gappa_1.5.4-1_i386.deb 23-Dec-2023 19:47 481K
libcoq-gappa_1.5.4-1_ppc64el.deb 23-Dec-2023 19:47 484K
libcoq-gappa_1.5.4-1_s390x.deb 23-Dec-2023 19:47 485K
libcoq-gappa_1.5.5-1+b1_amd64.deb 15-Jun-2024 19:35 505K
libcoq-gappa_1.5.5-1+b1_arm64.deb 15-Jun-2024 19:35 508K
libcoq-gappa_1.5.5-1+b1_armhf.deb 15-Jun-2024 19:41 503K
libcoq-gappa_1.5.5-1+b1_i386.deb 15-Jun-2024 19:35 501K
libcoq-gappa_1.5.5-1+b1_ppc64el.deb 15-Jun-2024 19:35 505K
libcoq-gappa_1.5.5-1+b1_riscv64.deb 15-Jun-2024 20:56 505K
libcoq-gappa_1.5.5-1+b1_s390x.deb 16-Jun-2024 06:22 505K
libcoq-gappa_1.5.5-1_amd64.deb 28-Apr-2024 23:11 504K
libcoq-gappa_1.5.5-1_arm64.deb 28-Apr-2024 23:05 507K
libcoq-gappa_1.5.5-1_armhf.deb 28-Apr-2024 23:11 502K
libcoq-gappa_1.5.5-1_i386.deb 28-Apr-2024 23:06 501K
libcoq-gappa_1.5.5-1_ppc64el.deb 28-Apr-2024 23:11 503K
libcoq-gappa_1.5.5-1_riscv64.deb 28-Apr-2024 23:26 505K
libcoq-gappa_1.5.5-1_s390x.deb 28-Apr-2024 23:16 505K
libcoq-gappa_1.5.5-2+b1_amd64.deb 12-Aug-2024 12:05 505K
libcoq-gappa_1.5.5-2+b1_arm64.deb 12-Aug-2024 12:05 507K
libcoq-gappa_1.5.5-2+b1_ppc64el.deb 12-Aug-2024 12:05 503K
libcoq-gappa_1.5.5-2+b1_riscv64.deb 12-Aug-2024 12:25 505K
libcoq-gappa_1.5.5-2+b1_s390x.deb 12-Aug-2024 15:10 505K
libcoq-gappa_1.5.5-2+b2_amd64.deb 21-Aug-2024 12:19 505K
libcoq-gappa_1.5.5-2+b2_arm64.deb 21-Aug-2024 12:24 507K
libcoq-gappa_1.5.5-2+b2_ppc64el.deb 21-Aug-2024 12:19 504K
libcoq-gappa_1.5.5-2+b2_riscv64.deb 21-Aug-2024 16:15 505K
libcoq-gappa_1.5.5-2+b2_s390x.deb 21-Aug-2024 14:32 506K
libcoq-gappa_1.5.5-2+b3_arm64.deb 21-Nov-2024 01:12 491K
libcoq-gappa_1.5.5-2+b3_ppc64el.deb 31-Aug-2024 11:39 504K
libcoq-gappa_1.5.5-2+b3_riscv64.deb 21-Nov-2024 01:47 489K
libcoq-gappa_1.5.5-2+b3_s390x.deb 21-Nov-2024 17:42 488K
libcoq-gappa_1.5.5-2+b4_amd64.deb 21-Nov-2024 00:40 488K
libcoq-gappa_1.5.5-2+b4_ppc64el.deb 21-Nov-2024 01:07 487K
libcoq-gappa_1.5.5-2_amd64.deb 04-Aug-2024 13:55 505K
libcoq-gappa_1.5.5-2_arm64.deb 04-Aug-2024 13:55 507K
libcoq-gappa_1.5.5-2_armhf.deb 04-Aug-2024 13:55 503K
libcoq-gappa_1.5.5-2_i386.deb 04-Aug-2024 14:11 502K
libcoq-gappa_1.5.5-2_ppc64el.deb 04-Aug-2024 13:56 504K
libcoq-gappa_1.5.5-2_riscv64.deb 04-Aug-2024 14:48 505K
libcoq-gappa_1.5.5-2_s390x.deb 04-Aug-2024 20:29 505K
libcoq-gappa_1.6.0-1+b1_amd64.deb 30-Jan-2025 15:52 524K
libcoq-gappa_1.6.0-1+b1_arm64.deb 30-Jan-2025 15:52 527K
libcoq-gappa_1.6.0-1+b1_ppc64el.deb 30-Jan-2025 15:52 523K
libcoq-gappa_1.6.0-1+b1_riscv64.deb 31-Jan-2025 07:08 525K
libcoq-gappa_1.6.0-1+b1_s390x.deb 30-Jan-2025 17:39 525K
libcoq-gappa_1.6.0-1+b2_amd64.deb 14-Feb-2025 13:59 524K
libcoq-gappa_1.6.0-1+b2_arm64.deb 14-Feb-2025 14:09 527K
libcoq-gappa_1.6.0-1+b2_ppc64el.deb 14-Feb-2025 13:54 523K
libcoq-gappa_1.6.0-1+b2_riscv64.deb 14-Feb-2025 18:43 525K
libcoq-gappa_1.6.0-1+b2_s390x.deb 14-Feb-2025 16:03 525K
libcoq-gappa_1.6.0-1+b3_amd64.deb 18-Feb-2025 08:46 525K
libcoq-gappa_1.6.0-1+b3_arm64.deb 18-Feb-2025 09:21 527K
libcoq-gappa_1.6.0-1+b3_ppc64el.deb 18-Feb-2025 08:51 524K
libcoq-gappa_1.6.0-1+b3_riscv64.deb 18-Feb-2025 14:34 526K
libcoq-gappa_1.6.0-1+b4_s390x.deb 18-Feb-2025 11:33 525K
libcoq-gappa_1.6.0-1+b5_s390x.deb 19-Feb-2025 00:56 525K
libcoq-gappa_1.6.0-1_amd64.deb 24-Jan-2025 09:35 524K
libcoq-gappa_1.6.0-1_arm64.deb 24-Jan-2025 09:40 527K
libcoq-gappa_1.6.0-1_ppc64el.deb 24-Jan-2025 09:35 523K
libcoq-gappa_1.6.0-1_riscv64.deb 24-Jan-2025 09:40 525K
libcoq-gappa_1.6.0-1_s390x.deb 24-Jan-2025 10:27 525K
libcoq-gappa_1.7.0-1+b1_amd64.deb 15-Jun-2025 19:15 538K
libcoq-gappa_1.7.0-1+b1_arm64.deb 15-Jun-2025 19:15 541K
libcoq-gappa_1.7.0-1+b1_ppc64el.deb 15-Jun-2025 19:15 537K
libcoq-gappa_1.7.0-1+b1_riscv64.deb 15-Jun-2025 20:00 539K
libcoq-gappa_1.7.0-1_amd64.deb 21-Feb-2025 00:06 537K
libcoq-gappa_1.7.0-1_arm64.deb 21-Feb-2025 00:06 540K
libcoq-gappa_1.7.0-1_ppc64el.deb 21-Feb-2025 00:06 537K
libcoq-gappa_1.7.0-1_riscv64.deb 21-Feb-2025 00:22 538K
libcoq-gappa_1.7.0-1_s390x.deb 21-Feb-2025 00:21 539K