Index of /ubuntu/pool/universe/c/coq-mtac2/
name
size
date
libcoq-mtac2_1.4+8.20-1build9_arm64.deb
0.87M
2026-03-05 08:49:35
libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb
0.85M
2026-03-04 17:34:46
libcoq-mtac2_1.4+8.20-1build9_amd64.deb
0.85M
2026-03-04 17:34:40
coq-mtac2_1.4+8.20-1build9.debian.tar.xz
3.2K
2026-03-04 17:33:30
coq-mtac2_1.4+8.20-1build9.dsc
2.0K
2026-03-04 17:33:30
libcoq-mtac2_1.4+8.20-1build6_arm64.deb
0.87M
2025-06-20 17:40:42
libcoq-mtac2_1.4+8.20-1build6_amd64.deb
0.85M
2025-06-20 17:40:39
coq-mtac2_1.4+8.20-1build6.debian.tar.xz
3.1K
2025-06-20 13:22:25
coq-mtac2_1.4+8.20-1build6.dsc
2.0K
2025-06-20 13:22:25
libcoq-mtac2_1.4+8.20-1build5_amd64.deb
0.85M
2025-02-19 23:03:08
coq-mtac2_1.4+8.20-1build5.debian.tar.xz
3.0K
2025-02-19 18:58:53
coq-mtac2_1.4+8.20-1build5.dsc
2.0K
2025-02-19 18:58:53
coq-mtac2_1.4+8.20.orig.tar.gz
246.5K
2024-11-24 00:12:06
libcoq-mtac2_1.4+8.18-1build3_amd64.deb
0.84M
2024-04-08 10:59:15
coq-mtac2_1.4+8.18-1build3.debian.tar.xz
2.9K
2024-04-08 07:57:39
coq-mtac2_1.4+8.18-1build3.dsc
2.1K
2024-04-08 07:57:39
coq-mtac2_1.4+8.18.orig.tar.gz
246.2K
2023-12-23 17:16:58