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

NameLast ModifiedSizeType
../ -  Directory
coq-mtac2_1.4+8.18-1build3.debian.tar.xz2024-Apr-08 09:57:392.9Kapplication/x-xz
coq-mtac2_1.4+8.18-1build3.dsc2024-Apr-08 09:57:392.1Ktext/prs.lines.tag
coq-mtac2_1.4+8.18.orig.tar.gz2023-Dec-23 18:16:58246.2Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.19-2build3.debian.tar.xz2024-Sep-07 21:04:332.9Kapplication/x-xz
coq-mtac2_1.4+8.19-2build3.dsc2024-Sep-07 21:04:332.0Ktext/prs.lines.tag
coq-mtac2_1.4+8.19.orig.tar.gz2024-May-02 13:53:14246.3Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.20-1build5.debian.tar.xz2025-Feb-19 19:58:533.0Kapplication/x-xz
coq-mtac2_1.4+8.20-1build5.dsc2025-Feb-19 19:58:532.0Ktext/prs.lines.tag
coq-mtac2_1.4+8.20-1build6.debian.tar.xz2025-Jun-20 15:22:253.0Kapplication/x-xz
coq-mtac2_1.4+8.20-1build6.dsc2025-Jun-20 15:22:252.0Ktext/prs.lines.tag
coq-mtac2_1.4+8.20.orig.tar.gz2024-Nov-24 01:12:06246.4Kapplication/x-gtar-compressed
libcoq-mtac2_1.4+8.18-1build3_amd64.deb2024-Apr-08 12:59:15864.7Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-2build3_amd64.deb2024-Sep-07 21:05:04887.1Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.20-1build5_amd64.deb2025-Feb-20 00:03:08872.9Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.20-1build6_amd64.deb2025-Jun-20 19:40:39870.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.59