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

NameLast ModifiedSizeType
../ -  Directory
coq-mtac2_1.4+8.18-1build3.debian.tar.xz2024-Apr-08 15:57:392.9Kapplication/x-xz
coq-mtac2_1.4+8.18-1build3.dsc2024-Apr-08 15:57:392.1Ktext/prs.lines.tag
coq-mtac2_1.4+8.18.orig.tar.gz2023-Dec-24 01:16:58246.2Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.19-2build3.debian.tar.xz2024-Sep-08 03:04:332.9Kapplication/x-xz
coq-mtac2_1.4+8.19-2build3.dsc2024-Sep-08 03:04:332.0Ktext/prs.lines.tag
coq-mtac2_1.4+8.19.orig.tar.gz2024-May-02 19:53:14246.3Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.20-1build5.debian.tar.xz2025-Feb-20 02:58:533.0Kapplication/x-xz
coq-mtac2_1.4+8.20-1build5.dsc2025-Feb-20 02:58:532.0Ktext/prs.lines.tag
coq-mtac2_1.4+8.20-1build6.debian.tar.xz2025-Jun-20 21:22:253.0Kapplication/x-xz
coq-mtac2_1.4+8.20-1build6.dsc2025-Jun-20 21:22:252.0Ktext/prs.lines.tag
coq-mtac2_1.4+8.20.orig.tar.gz2024-Nov-24 08:12:06246.4Kapplication/x-gtar-compressed
libcoq-mtac2_1.4+8.18-1build3_arm64.deb2024-Apr-08 21:14:52885.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.18-1build3_armhf.deb2024-Apr-08 21:15:01867.6Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.18-1build3_riscv64.deb2024-Apr-08 21:15:30874.9Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-2build3_arm64.deb2024-Sep-08 03:05:05907.6Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-2build3_riscv64.deb2024-Sep-08 03:58:48898.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.20-1build5_arm64.deb2025-Feb-20 20:54:18893.1Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.20-1build5_riscv64.deb2025-Feb-20 07:04:08882.8Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.20-1build6_arm64.deb2025-Jun-21 01:40:42890.1Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.20-1build6_riscv64.deb2025-Jun-21 03:30:22880.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.63