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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libcoq-mtac2_1.4+8.20-1build10_arm64.deb2026-07-09 22:32 890K
[ ]libcoq-mtac2_1.4+8.20-1build6_arm64.deb2025-06-20 20:40 890K
[ ]libcoq-mtac2_1.4+8.20-1build9_arm64.deb2026-03-05 10:49 890K
[ ]libcoq-mtac2_1.4+8.20-1build5_amd64.deb2025-02-20 01:03 873K
[ ]libcoq-mtac2_1.4+8.20-1build10_amd64.deb2026-07-09 14:44 871K
[ ]libcoq-mtac2_1.4+8.20-1build10_amd64v3.deb2026-07-09 14:44 871K
[ ]libcoq-mtac2_1.4+8.20-1build9_amd64.deb2026-03-04 19:34 871K
[ ]libcoq-mtac2_1.4+8.20-1build6_amd64.deb2025-06-20 20:40 871K
[ ]libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb2026-03-04 19:34 871K
[ ]libcoq-mtac2_1.4+8.18-1build3_amd64.deb2024-04-08 13:59 865K
[ ]coq-mtac2_1.4-rocq9.1.orig.tar.gz2026-07-29 03:05 247K
[ ]coq-mtac2_1.4+8.20.orig.tar.gz2024-11-24 02:12 246K
[ ]coq-mtac2_1.4+8.18.orig.tar.gz2023-12-23 19:16 246K
[ ]coq-mtac2_1.4-rocq9.1-2.debian.tar.xz2026-07-29 03:05 4.5K
[ ]coq-mtac2_1.4+8.20-1build10.debian.tar.xz2026-07-09 02:38 3.2K
[ ]coq-mtac2_1.4+8.20-1build9.debian.tar.xz2026-03-04 19:33 3.2K
[ ]coq-mtac2_1.4+8.20-1build6.debian.tar.xz2025-06-20 16:22 3.1K
[ ]coq-mtac2_1.4+8.20-1build5.debian.tar.xz2025-02-19 20:58 3.0K
[ ]coq-mtac2_1.4+8.18-1build3.debian.tar.xz2024-04-08 10:57 2.9K
[TXT]coq-mtac2_1.4+8.18-1build3.dsc2024-04-08 10:57 2.1K
[TXT]coq-mtac2_1.4-rocq9.1-2.dsc2026-07-29 03:05 2.1K
[TXT]coq-mtac2_1.4+8.20-1build10.dsc2026-07-09 02:38 2.1K
[TXT]coq-mtac2_1.4+8.20-1build9.dsc2026-03-04 19:33 2.0K
[TXT]coq-mtac2_1.4+8.20-1build6.dsc2025-06-20 16:22 2.0K
[TXT]coq-mtac2_1.4+8.20-1build5.dsc2025-02-19 20:58 2.0K