File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
libcoq-gappa_1.7.0-1+b2_riscv64.deb	539.1 KiB	2025-12-28 02:12
libcoq-gappa_1.7.0-1+b2_ppc64el.deb	536.8 KiB	2025-12-27 23:45
libcoq-gappa_1.7.0-1+b2_amd64.deb	537.9 KiB	2025-12-27 23:45
libcoq-gappa_1.7.0-1+b2_arm64.deb	540.4 KiB	2025-12-27 23:45
libcoq-gappa_1.7.0-1+b3_s390x.deb	538.7 KiB	2025-12-27 23:45
coq-gappa_1.7.1-2.dsc	2.1 KiB	2025-11-11 13:30
libcoq-gappa_1.7.1-2_amd64.deb	543.4 KiB	2025-11-11 13:30
coq-gappa_1.7.1-2.debian.tar.xz	2.3 KiB	2025-11-11 13:30
libcoq-gappa_1.7.1-1_s390x.deb	537.9 KiB	2025-10-29 08:17
libcoq-gappa_1.7.1-1_arm64.deb	540.1 KiB	2025-10-29 07:16
libcoq-gappa_1.7.1-1_ppc64el.deb	536.1 KiB	2025-10-29 07:05
coq-gappa_1.7.1.orig.tar.bz2	74.5 KiB	2025-10-29 04:19
coq-gappa_1.7.1-1.debian.tar.xz	2.2 KiB	2025-10-29 04:19
coq-gappa_1.7.1-1.dsc	2.1 KiB	2025-10-29 04:19
libcoq-gappa_1.7.0-1+b2_s390x.deb	538.3 KiB	2025-06-17 14:59
libcoq-gappa_1.7.0-1+b1_riscv64.deb	538.5 KiB	2025-06-15 07:00
libcoq-gappa_1.7.0-1+b1_amd64.deb	537.8 KiB	2025-06-15 06:15
libcoq-gappa_1.7.0-1+b1_arm64.deb	540.9 KiB	2025-06-15 06:15
libcoq-gappa_1.7.0-1+b1_ppc64el.deb	537.1 KiB	2025-06-15 06:15
coq-gappa_1.7.0-1.dsc	2.0 KiB	2025-02-20 10:41
coq-gappa_1.7.0.orig.tar.bz2	74.6 KiB	2025-02-20 10:41
coq-gappa_1.7.0-1.debian.tar.xz	2.2 KiB	2025-02-20 10:41
libcoq-gappa_1.5.2-5+b1_ppc64el.deb	503.1 KiB	2023-02-14 05:44
libcoq-gappa_1.5.2-5+b1_arm64.deb	506.4 KiB	2023-02-13 02:28
libcoq-gappa_1.5.2-5+b1_amd64.deb	503.7 KiB	2023-02-13 02:28
libcoq-gappa_1.5.2-5+b1_armhf.deb	502.1 KiB	2023-02-13 02:28
libcoq-gappa_1.5.2-5+b1_s390x.deb	504.1 KiB	2023-02-13 02:08
libcoq-gappa_1.5.2-5+b1_i386.deb	500.3 KiB	2023-02-13 02:08
coq-gappa_1.5.2-5.debian.tar.xz	2.0 KiB	2023-01-26 07:44
coq-gappa_1.5.2-5.dsc	2.0 KiB	2023-01-26 07:44
coq-gappa_1.5.2.orig.tar.bz2	71.8 KiB	2022-07-19 02:00