File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-gappa_1.10.0-2.debian.tar.xz	3.5 KiB	2026-07-28 12:24
coq-gappa_1.10.0-2.dsc	2.1 KiB	2026-07-28 12:24
coq-gappa_1.10.0.orig.tar.gz	89.5 KiB	2026-07-10 12:09
coq-gappa_1.5.2-5.debian.tar.xz	2.0 KiB	2023-01-26 08:44
coq-gappa_1.5.2-5.dsc	2.0 KiB	2023-01-26 08:44
coq-gappa_1.5.2.orig.tar.bz2	71.8 KiB	2022-07-19 03:00
coq-gappa_1.7.0-1.debian.tar.xz	2.2 KiB	2025-02-20 11:41
coq-gappa_1.7.0-1.dsc	2.0 KiB	2025-02-20 11:41
coq-gappa_1.7.0.orig.tar.bz2	74.6 KiB	2025-02-20 11:41
libcoq-gappa_1.10.0-2+b1_amd64.deb	594.1 KiB	2026-07-31 16:30
libcoq-gappa_1.10.0-2_amd64.deb	593.8 KiB	2026-07-28 12:24
libcoq-gappa_1.10.0-2_arm64.deb	596.5 KiB	2026-07-28 12:44
libcoq-gappa_1.10.0-2_ppc64el.deb	592.7 KiB	2026-07-28 12:44
libcoq-gappa_1.10.0-2_riscv64.deb	595.0 KiB	2026-07-28 13:05
libcoq-gappa_1.10.0-2_s390x.deb	594.5 KiB	2026-07-28 13:00
libcoq-gappa_1.5.2-5+b1_amd64.deb	503.7 KiB	2023-02-13 03:28
libcoq-gappa_1.5.2-5+b1_arm64.deb	506.4 KiB	2023-02-13 03:28
libcoq-gappa_1.5.2-5+b1_armhf.deb	502.1 KiB	2023-02-13 03:28
libcoq-gappa_1.5.2-5+b1_i386.deb	500.3 KiB	2023-02-13 03:08
libcoq-gappa_1.5.2-5+b1_ppc64el.deb	503.1 KiB	2023-02-14 06:44
libcoq-gappa_1.5.2-5+b1_s390x.deb	504.1 KiB	2023-02-13 03:08
libcoq-gappa_1.7.0-1+b1_amd64.deb	537.8 KiB	2025-06-15 07:15
libcoq-gappa_1.7.0-1+b1_arm64.deb	540.9 KiB	2025-06-15 07:15
libcoq-gappa_1.7.0-1+b1_ppc64el.deb	537.1 KiB	2025-06-15 07:15
libcoq-gappa_1.7.0-1+b1_riscv64.deb	538.5 KiB	2025-06-15 08:00
libcoq-gappa_1.7.0-1+b2_s390x.deb	538.3 KiB	2025-06-17 15:59
libcoq-gappa_1.7.0-1+b3_ppc64el.deb	536.8 KiB	2026-06-20 11:16
libcoq-gappa_1.7.0-1+b3_riscv64.deb	539.3 KiB	2026-06-22 09:16
libcoq-gappa_1.7.0-1+b4_amd64.deb	538.0 KiB	2026-06-20 11:16
libcoq-gappa_1.7.0-1+b4_arm64.deb	540.4 KiB	2026-06-20 11:16
libcoq-gappa_1.7.0-1+b4_s390x.deb	538.9 KiB	2026-06-20 11:15