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

directories: 0, files: 12

NameLast modifiedSize
../
libcoq-mtac2_1.4+8.20-1build5_amd64.deb2025-02-20 00:03:08872.97 KiB
libcoq-mtac2_1.4+8.19-2build3_amd64.deb2024-09-07 21:05:04887.19 KiB
libcoq-mtac2_1.4+8.18-1build3_amd64.deb2024-04-08 12:59:15864.70 KiB
coq-mtac2_1.4+8.20.orig.tar.gz2024-11-24 01:12:06246.47 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.19.orig.tar.gz2024-05-02 13:53:14246.33 KiB
coq-mtac2_1.4+8.19-2build3.dsc2024-09-07 21:04:332.05 KiB
coq-mtac2_1.4+8.19-2build3.debian.tar.xz2024-09-07 21:04:332.92 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