File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-gappa_1.5.4.orig.tar.bz2	71.8 KiB	2023-12-23 20:16
coq-gappa_1.5.4-1build3.debian.tar.xz	2.3 KiB	2024-04-08 10:57
coq-gappa_1.5.4-1build3.dsc	2.1 KiB	2024-04-08 10:57
libcoq-gappa_1.5.4-1build3_amd64.deb	562.1 KiB	2024-04-08 13:59
coq-gappa_1.6.0.orig.tar.bz2	73.9 KiB	2025-01-24 08:56
coq-gappa_1.6.0-1build4.debian.tar.xz	2.4 KiB	2025-02-19 10:52
coq-gappa_1.6.0-1build4.dsc	2.0 KiB	2025-02-19 10:52
libcoq-gappa_1.6.0-1build4_amd64.deb	612.1 KiB	2025-02-19 10:53
coq-gappa_1.7.0.orig.tar.bz2	74.6 KiB	2025-05-01 19:23
coq-gappa_1.7.0-1build1.dsc	2.0 KiB	2025-06-20 16:22
coq-gappa_1.7.0-1build1.debian.tar.xz	2.2 KiB	2025-06-20 16:22
libcoq-gappa_1.7.0-1build1_amd64.deb	628.4 KiB	2025-06-20 20:40
libcoq-gappa_1.7.0-1build1_arm64.deb	634.3 KiB	2025-06-20 20:40
coq-gappa_1.7.0-1build4.debian.tar.xz	2.3 KiB	2026-03-04 20:33
coq-gappa_1.7.0-1build4.dsc	2.0 KiB	2026-03-04 20:33
libcoq-gappa_1.7.0-1build4_amd64.deb	628.4 KiB	2026-03-04 20:34
libcoq-gappa_1.7.0-1build4_amd64v3.deb	628.4 KiB	2026-03-04 20:34
libcoq-gappa_1.7.0-1build4_arm64.deb	634.1 KiB	2026-03-04 20:34