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

Filename	Modification time	Size
coq-gappa_1.5.2-5.debian.tar.xz	2023-01-26 13:44 CET	2008 B
coq-gappa_1.5.2-5.dsc	2023-01-26 13:44 CET	2073 B
coq-gappa_1.5.2.orig.tar.bz2	2022-07-19 09:00 CEST	72 KiB
coq-gappa_1.7.0-1.debian.tar.xz	2025-02-20 16:41 CET	2208 B
coq-gappa_1.7.0-1.dsc	2025-02-20 16:41 CET	2095 B
coq-gappa_1.7.0.orig.tar.bz2	2025-02-20 16:41 CET	75 KiB
coq-gappa_1.7.1-2.debian.tar.xz	2025-11-11 19:30 CET	2340 B
coq-gappa_1.7.1-2.dsc	2025-11-11 19:30 CET	2107 B
coq-gappa_1.7.1.orig.tar.bz2	2025-10-29 10:19 CET	75 KiB
libcoq-gappa_1.5.2-5+b1_amd64.deb	2023-02-13 08:28 CET	504 KiB
libcoq-gappa_1.5.2-5+b1_arm64.deb	2023-02-13 08:28 CET	506 KiB
libcoq-gappa_1.5.2-5+b1_armhf.deb	2023-02-13 08:28 CET	502 KiB
libcoq-gappa_1.5.2-5+b1_i386.deb	2023-02-13 08:08 CET	500 KiB
libcoq-gappa_1.5.2-5+b1_ppc64el.deb	2023-02-14 11:44 CET	503 KiB
libcoq-gappa_1.5.2-5+b1_s390x.deb	2023-02-13 08:08 CET	504 KiB
libcoq-gappa_1.7.0-1+b1_amd64.deb	2025-06-15 13:15 CEST	538 KiB
libcoq-gappa_1.7.0-1+b1_arm64.deb	2025-06-15 13:15 CEST	541 KiB
libcoq-gappa_1.7.0-1+b1_ppc64el.deb	2025-06-15 13:15 CEST	537 KiB
libcoq-gappa_1.7.0-1+b1_riscv64.deb	2025-06-15 14:00 CEST	539 KiB
libcoq-gappa_1.7.0-1+b2_amd64.deb	2025-12-28 05:45 CET	538 KiB
libcoq-gappa_1.7.0-1+b2_arm64.deb	2025-12-28 05:45 CET	540 KiB
libcoq-gappa_1.7.0-1+b2_ppc64el.deb	2025-12-28 05:45 CET	537 KiB
libcoq-gappa_1.7.0-1+b2_riscv64.deb	2025-12-28 08:12 CET	539 KiB
libcoq-gappa_1.7.0-1+b2_s390x.deb	2025-06-17 21:59 CEST	538 KiB
libcoq-gappa_1.7.0-1+b3_amd64.deb	2026-02-12 16:34 CET	538 KiB
libcoq-gappa_1.7.0-1+b3_arm64.deb	2026-02-12 16:24 CET	541 KiB
libcoq-gappa_1.7.0-1+b3_s390x.deb	2025-12-28 05:45 CET	539 KiB
libcoq-gappa_1.7.1-2+b1_amd64.deb	2026-02-15 11:53 CET	544 KiB
libcoq-gappa_1.7.1-2_arm64.deb	2026-02-11 11:41 CET	546 KiB
libcoq-gappa_1.7.1-2_ppc64el.deb	2026-02-11 11:20 CET	543 KiB
libcoq-gappa_1.7.1-2_s390x.deb	2026-02-13 04:53 CET	544 KiB