Index of /ubuntu/pool/universe/c/coq-mtac2/
name
size
date
libcoq-mtac2_1.4+8.20-1build8_amd64v3.deb
0.85M
2026-01-30 09:03:44
libcoq-mtac2_1.4+8.20-1build8_amd64.deb
0.85M
2026-01-30 09:03:16
coq-mtac2_1.4+8.20-1build8.debian.tar.xz
3.1K
2026-01-29 19:54:59
coq-mtac2_1.4+8.20-1build8.dsc
2.0K
2026-01-29 19:54:59
libcoq-mtac2_1.4+8.20-1build7_amd64v3.deb
0.85M
2026-01-06 00:09:09
libcoq-mtac2_1.4+8.20-1build7_amd64.deb
0.85M
2026-01-06 00:08:56
coq-mtac2_1.4+8.20-1build7.debian.tar.xz
3.1K
2026-01-05 20:02:51
coq-mtac2_1.4+8.20-1build7.dsc
2.0K
2026-01-05 20:02:51
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