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