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.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+b3_arm64.deb	2024-11-20 18:12 CET	491 KiB
libcoq-gappa_1.5.5-2+b3_riscv64.deb	2024-11-20 18:47 CET	489 KiB
libcoq-gappa_1.5.5-2+b3_s390x.deb	2024-11-21 10:42 CET	488 KiB
libcoq-gappa_1.5.5-2+b4_amd64.deb	2024-11-20 17:40 CET	488 KiB
libcoq-gappa_1.5.5-2+b4_ppc64el.deb	2024-11-20 18:07 CET	487 KiB