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
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
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
libcoq-gappa_1.6.0-1_amd64.deb	2025-01-24 02:35 CET	524 KiB
libcoq-gappa_1.6.0-1_arm64.deb	2025-01-24 02:40 CET	527 KiB
libcoq-gappa_1.6.0-1_ppc64el.deb	2025-01-24 02:35 CET	523 KiB
libcoq-gappa_1.6.0-1_riscv64.deb	2025-01-24 02:40 CET	525 KiB
libcoq-gappa_1.6.0-1_s390x.deb	2025-01-24 03:27 CET	525 KiB