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.5.5-2.debian.tar.xz	2024-08-04 07:19 CEST	2356 B
coq-gappa_1.5.5-2.dsc	2024-08-04 07:19 CEST	1852 B
coq-gappa_1.5.5.orig.tar.bz2	2024-04-26 16:01 CEST	72 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.5.5-2+b2_amd64.deb	2024-08-21 06:19 CEST	504 KiB
libcoq-gappa_1.5.5-2+b2_arm64.deb	2024-08-21 06:24 CEST	507 KiB
libcoq-gappa_1.5.5-2+b2_ppc64el.deb	2024-08-21 06:19 CEST	504 KiB
libcoq-gappa_1.5.5-2+b2_riscv64.deb	2024-08-21 10:15 CEST	505 KiB
libcoq-gappa_1.5.5-2+b2_s390x.deb	2024-08-21 08:32 CEST	506 KiB
libcoq-gappa_1.5.5-2_armhf.deb	2024-08-04 07:55 CEST	503 KiB
libcoq-gappa_1.5.5-2_i386.deb	2024-08-04 08:11 CEST	502 KiB