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

directories: 0, files: 23

NameLast modifiedSize
../
libcoq-mtac2_1.4+8.20-1build9_arm64.deb2026-03-05 09:49:35890.00 KiB
libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb2026-03-04 18:34:46870.58 KiB
libcoq-mtac2_1.4+8.20-1build9_amd64.deb2026-03-04 18:34:40870.60 KiB
libcoq-mtac2_1.4+8.20-1build6_arm64.deb2025-06-20 19:40:42890.15 KiB
libcoq-mtac2_1.4+8.20-1build6_amd64.deb2025-06-20 19:40:39870.59 KiB
libcoq-mtac2_1.4+8.20-1build5_amd64.deb2025-02-20 00:03:08872.97 KiB
libcoq-mtac2_1.4+8.20-1build10_arm64.deb2026-07-09 21:32:31890.17 KiB
libcoq-mtac2_1.4+8.20-1build10_amd64v3.deb2026-07-09 13:44:53870.81 KiB
libcoq-mtac2_1.4+8.20-1build10_amd64.deb2026-07-09 13:44:48870.84 KiB
libcoq-mtac2_1.4+8.18-1build3_amd64.deb2024-04-08 12:59:15864.70 KiB
coq-mtac2_1.4-rocq9.1.orig.tar.gz2026-07-29 02:05:57246.51 KiB
coq-mtac2_1.4-rocq9.1-2.dsc2026-07-29 02:05:572.09 KiB
coq-mtac2_1.4-rocq9.1-2.debian.tar.xz2026-07-29 02:05:584.54 KiB
coq-mtac2_1.4+8.20.orig.tar.gz2024-11-24 01:12:06246.47 KiB
coq-mtac2_1.4+8.20-1build9.dsc2026-03-04 18:33:302.05 KiB
coq-mtac2_1.4+8.20-1build9.debian.tar.xz2026-03-04 18:33:303.15 KiB
coq-mtac2_1.4+8.20-1build6.dsc2025-06-20 15:22:252.05 KiB
coq-mtac2_1.4+8.20-1build6.debian.tar.xz2025-06-20 15:22:253.07 KiB
coq-mtac2_1.4+8.20-1build5.dsc2025-02-19 19:58:532.05 KiB
coq-mtac2_1.4+8.20-1build5.debian.tar.xz2025-02-19 19:58:533.05 KiB
coq-mtac2_1.4+8.18.orig.tar.gz2023-12-23 18:16:58246.25 KiB
coq-mtac2_1.4+8.18-1build3.dsc2024-04-08 09:57:392.13 KiB
coq-mtac2_1.4+8.18-1build3.debian.tar.xz2024-04-08 09:57:392.88 KiB