Index of   /debian/pool/main/c/coq-gappa/

File Name  ↓		File Size  ↓	Date  ↓
Parent directory/		-	-
coq-gappa_1.10.0-2.debian.tar.xz		3.5 KiB	28-07-2026 | 16:24
coq-gappa_1.10.0-2.dsc		2.1 KiB	28-07-2026 | 16:24
coq-gappa_1.10.0.orig.tar.gz		89.5 KiB	10-07-2026 | 16:09
coq-gappa_1.5.2-5.debian.tar.xz		2.0 KiB	26-01-2023 | 12:44
coq-gappa_1.5.2-5.dsc		2.0 KiB	26-01-2023 | 12:44
coq-gappa_1.5.2.orig.tar.bz2		71.8 KiB	19-07-2022 | 07:00
coq-gappa_1.7.0-1.debian.tar.xz		2.2 KiB	20-02-2025 | 15:41
coq-gappa_1.7.0-1.dsc		2.0 KiB	20-02-2025 | 15:41
coq-gappa_1.7.0.orig.tar.bz2		74.6 KiB	20-02-2025 | 15:41
libcoq-gappa_1.10.0-2+b1_amd64.deb		594.1 KiB	31-07-2026 | 20:30
libcoq-gappa_1.10.0-2_arm64.deb		596.5 KiB	28-07-2026 | 16:44
libcoq-gappa_1.10.0-2_ppc64el.deb		592.7 KiB	28-07-2026 | 16:44
libcoq-gappa_1.10.0-2_riscv64.deb		595.0 KiB	28-07-2026 | 17:05
libcoq-gappa_1.10.0-2_s390x.deb		594.5 KiB	28-07-2026 | 17:00
libcoq-gappa_1.5.2-5+b1_amd64.deb		503.7 KiB	13-02-2023 | 07:28
libcoq-gappa_1.5.2-5+b1_arm64.deb		506.4 KiB	13-02-2023 | 07:28
libcoq-gappa_1.5.2-5+b1_armhf.deb		502.1 KiB	13-02-2023 | 07:28
libcoq-gappa_1.5.2-5+b1_i386.deb		500.3 KiB	13-02-2023 | 07:08
libcoq-gappa_1.5.2-5+b1_ppc64el.deb		503.1 KiB	14-02-2023 | 10:44
libcoq-gappa_1.5.2-5+b1_s390x.deb		504.1 KiB	13-02-2023 | 07:08
libcoq-gappa_1.7.0-1+b1_amd64.deb		537.8 KiB	15-06-2025 | 11:15
libcoq-gappa_1.7.0-1+b1_arm64.deb		540.9 KiB	15-06-2025 | 11:15
libcoq-gappa_1.7.0-1+b1_ppc64el.deb		537.1 KiB	15-06-2025 | 11:15
libcoq-gappa_1.7.0-1+b1_riscv64.deb		538.5 KiB	15-06-2025 | 12:00
libcoq-gappa_1.7.0-1+b2_s390x.deb		538.3 KiB	17-06-2025 | 19:59
libcoq-gappa_1.7.0-1+b3_ppc64el.deb		536.8 KiB	20-06-2026 | 15:16
libcoq-gappa_1.7.0-1+b3_riscv64.deb		539.3 KiB	22-06-2026 | 13:16
libcoq-gappa_1.7.0-1+b4_amd64.deb		538.0 KiB	20-06-2026 | 15:16
libcoq-gappa_1.7.0-1+b4_arm64.deb		540.4 KiB	20-06-2026 | 15:16
libcoq-gappa_1.7.0-1+b4_s390x.deb		538.9 KiB	20-06-2026 | 15:15