| Parent Directory | - | - | - |
| coq-gappa_1.10.0-1.debian.tar.xz | 10-Jul-2026 16:09 | 2280 | - |
| coq-gappa_1.10.0-1.dsc | 10-Jul-2026 16:09 | 2111 | - |
| 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.orig.tar.gz | 10-Jul-2026 16:09 | 89K | - |
| 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 | 72K | - |
| 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 | 75K | - |
| libcoq-gappa_1.10.0-1_amd64.deb | 10-Jul-2026 16:09 | 594K | - |
| libcoq-gappa_1.10.0-1_arm64.deb | 11-Jul-2026 19:02 | 596K | - |
| libcoq-gappa_1.10.0-1_ppc64el.deb | 11-Jul-2026 19:02 | 593K | - |
| libcoq-gappa_1.10.0-1_s390x.deb | 11-Jul-2026 19:17 | 594K | - |
| libcoq-gappa_1.10.0-2_amd64.deb | 28-Jul-2026 16:24 | 594K | - |
| libcoq-gappa_1.10.0-2_arm64.deb | 28-Jul-2026 16:44 | 596K | - |
| libcoq-gappa_1.10.0-2_ppc64el.deb | 28-Jul-2026 16:44 | 593K | - |
| libcoq-gappa_1.10.0-2_riscv64.deb | 28-Jul-2026 17:05 | 595K | - |
| libcoq-gappa_1.10.0-2_s390x.deb | 28-Jul-2026 17:00 | 594K | - |
| libcoq-gappa_1.5.2-5+b1_amd64.deb | 13-Feb-2023 07:28 | 504K | - |
| libcoq-gappa_1.5.2-5+b1_arm64.deb | 13-Feb-2023 07:28 | 506K | - |
| libcoq-gappa_1.5.2-5+b1_armhf.deb | 13-Feb-2023 07:28 | 502K | - |
| libcoq-gappa_1.5.2-5+b1_i386.deb | 13-Feb-2023 07:08 | 500K | - |
| libcoq-gappa_1.5.2-5+b1_ppc64el.deb | 14-Feb-2023 10:44 | 503K | - |
| libcoq-gappa_1.5.2-5+b1_s390x.deb | 13-Feb-2023 07:08 | 504K | - |
| libcoq-gappa_1.7.0-1+b1_amd64.deb | 15-Jun-2025 11:15 | 538K | - |
| libcoq-gappa_1.7.0-1+b1_arm64.deb | 15-Jun-2025 11:15 | 541K | - |
| libcoq-gappa_1.7.0-1+b1_ppc64el.deb | 15-Jun-2025 11:15 | 537K | - |
| libcoq-gappa_1.7.0-1+b1_riscv64.deb | 15-Jun-2025 12:00 | 539K | - |
| libcoq-gappa_1.7.0-1+b2_s390x.deb | 17-Jun-2025 19:59 | 538K | - |
| libcoq-gappa_1.7.0-1+b3_ppc64el.deb | 20-Jun-2026 15:16 | 537K | - |
| libcoq-gappa_1.7.0-1+b3_riscv64.deb | 22-Jun-2026 13:16 | 539K | - |
| libcoq-gappa_1.7.0-1+b4_amd64.deb | 20-Jun-2026 15:16 | 538K | - |
| libcoq-gappa_1.7.0-1+b4_arm64.deb | 20-Jun-2026 15:16 | 540K | - |
| libcoq-gappa_1.7.0-1+b4_s390x.deb | 20-Jun-2026 15:15 | 539K | - |