Index of /ubuntu/pool/universe/c/coq-gappa/
name
size
date
libcoq-gappa_1.7.0-1build3_amd64v3.deb
0.61M
2026-01-30 09:03:43
libcoq-gappa_1.7.0-1build3_amd64.deb
0.61M
2026-01-30 09:03:15
coq-gappa_1.7.0-1build3.debian.tar.xz
2.3K
2026-01-29 19:55:00
coq-gappa_1.7.0-1build3.dsc
2.0K
2026-01-29 19:55:00
libcoq-gappa_1.7.0-1build2_amd64v3.deb
0.61M
2026-01-06 00:09:08
libcoq-gappa_1.7.0-1build2_amd64.deb
0.61M
2026-01-06 00:08:57
coq-gappa_1.7.0-1build2.debian.tar.xz
2.3K
2026-01-05 20:02:52
coq-gappa_1.7.0-1build2.dsc
2.0K
2026-01-05 20:02:52
libcoq-gappa_1.7.0-1build1_amd64.deb
0.61M
2025-06-20 17:40:40
coq-gappa_1.7.0-1build1.debian.tar.xz
2.2K
2025-06-20 13:22:25
coq-gappa_1.7.0-1build1.dsc
2.0K
2025-06-20 13:22:25
coq-gappa_1.7.0.orig.tar.bz2
74.6K
2025-05-01 16:23:25
libcoq-gappa_1.6.0-1build4_amd64.deb
0.60M
2025-02-19 07:53:21
coq-gappa_1.6.0-1build4.debian.tar.xz
2.4K
2025-02-19 07:52:15
coq-gappa_1.6.0-1build4.dsc
2.0K
2025-02-19 07:52:15
coq-gappa_1.6.0.orig.tar.bz2
73.9K
2025-01-24 05:56:12
libcoq-gappa_1.5.4-1build3_amd64.deb
0.55M
2024-04-08 10:59:16
coq-gappa_1.5.4-1build3.debian.tar.xz
2.3K
2024-04-08 07:57:39
coq-gappa_1.5.4-1build3.dsc
2.1K
2024-04-08 07:57:39
coq-gappa_1.5.4.orig.tar.bz2
71.8K
2023-12-23 17:16:59