Index of /pub/linux/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.6.0-1.debian.tar.xz	2025-01-23 22:57 CET	2344 B
coq-gappa_1.6.0-1.dsc	2025-01-23 22:57 CET	2095 B
coq-gappa_1.6.0.orig.tar.bz2	2025-01-23 22:57 CET	74 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
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.6.0-1+b1_amd64.deb	2025-01-30 08:52 CET	524 KiB
libcoq-gappa_1.6.0-1+b1_arm64.deb	2025-01-30 08:52 CET	527 KiB
libcoq-gappa_1.6.0-1+b1_ppc64el.deb	2025-01-30 08:52 CET	523 KiB
libcoq-gappa_1.6.0-1+b1_riscv64.deb	2025-01-31 00:08 CET	525 KiB
libcoq-gappa_1.6.0-1+b1_s390x.deb	2025-01-30 10:39 CET	525 KiB
libcoq-gappa_1.7.0-1_amd64.deb	2025-02-20 17:06 CET	537 KiB
libcoq-gappa_1.7.0-1_arm64.deb	2025-02-20 17:06 CET	540 KiB
libcoq-gappa_1.7.0-1_ppc64el.deb	2025-02-20 17:06 CET	537 KiB
libcoq-gappa_1.7.0-1_riscv64.deb	2025-02-20 17:22 CET	538 KiB
libcoq-gappa_1.7.0-1_s390x.deb	2025-02-20 17:21 CET	539 KiB