Index of /repo/ubuntu/pool/universe/c/coq-mtac2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-mtac2_1.4+8.18-1build3.debian.tar.xz2026-05-14 09:25 2.9K 
[TXT]coq-mtac2_1.4+8.18-1build3.dsc2026-05-14 09:25 2.1K 
[ ]coq-mtac2_1.4+8.18.orig.tar.gz2026-05-14 09:25 246K 
[ ]coq-mtac2_1.4+8.20-1build5.debian.tar.xz2026-05-14 09:25 3.0K 
[TXT]coq-mtac2_1.4+8.20-1build5.dsc2026-05-14 09:25 2.0K 
[ ]coq-mtac2_1.4+8.20-1build6.debian.tar.xz2026-05-14 09:25 3.1K 
[TXT]coq-mtac2_1.4+8.20-1build6.dsc2026-05-14 09:25 2.0K 
[ ]coq-mtac2_1.4+8.20-1build9.debian.tar.xz2026-05-14 09:25 3.2K 
[TXT]coq-mtac2_1.4+8.20-1build9.dsc2026-05-14 09:25 2.0K 
[ ]coq-mtac2_1.4+8.20.orig.tar.gz2026-05-14 09:25 246K 
[ ]coq-mtac2_1.4-rocq9.1-2build1.debian.tar.xz2026-08-31 18:34 4.6K 
[TXT]coq-mtac2_1.4-rocq9.1-2build1.dsc2026-08-31 18:34 2.1K 
[ ]coq-mtac2_1.4-rocq9.1.orig.tar.gz2026-07-30 03:47 247K 
[ ]libcoq-mtac2_1.4+8.18-1build3_amd64.deb2025-11-19 17:28 865K 
[ ]libcoq-mtac2_1.4+8.20-1build5_amd64.deb2025-11-19 17:28 873K 
[ ]libcoq-mtac2_1.4+8.20-1build6_amd64.deb2026-05-14 09:25 871K 
[ ]libcoq-mtac2_1.4+8.20-1build9_amd64.deb2026-03-12 21:42 871K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build1_amd64.deb2026-08-31 18:34 876K