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

NameLast ModifiedSizeType
../ -  Directory
coq-mtac2_1.4+8.16-2build2.debian.tar.xz2023-Feb-17 02:29:112.5Kapplication/x-xz
coq-mtac2_1.4+8.16-2build2.dsc2023-Feb-17 02:29:112.0Kapplication/octet-stream
coq-mtac2_1.4+8.16.orig.tar.gz2022-Nov-05 23:17:23245.1Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.17-1build1.debian.tar.xz2023-Jul-26 01:19:342.6Kapplication/x-xz
coq-mtac2_1.4+8.17-1build1.dsc2023-Jul-26 01:19:342.0Kapplication/octet-stream
coq-mtac2_1.4+8.17.orig.tar.gz2023-Jun-13 07:34:29245.7Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.18-1build3.debian.tar.xz2024-Apr-08 03:57:392.9Kapplication/x-xz
coq-mtac2_1.4+8.18-1build3.dsc2024-Apr-08 03:57:392.1Kapplication/octet-stream
coq-mtac2_1.4+8.18.orig.tar.gz2023-Dec-23 12:16:58246.2Kapplication/x-gtar-compressed
coq-mtac2_1.4+8.19-1build1.debian.tar.xz2024-May-02 16:28:302.8Kapplication/x-xz
coq-mtac2_1.4+8.19-1build1.dsc2024-May-02 16:28:302.0Kapplication/octet-stream
coq-mtac2_1.4+8.19.orig.tar.gz2024-May-02 07:53:14246.3Kapplication/x-gtar-compressed
libcoq-mtac2_1.4+8.16-2build2_amd64.deb2023-Feb-17 02:29:21831.0Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.17-1build1_amd64.deb2023-Jul-26 03:55:39841.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.18-1build3_amd64.deb2024-Apr-08 06:59:15864.7Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1build1_amd64.deb2024-May-02 16:28:33878.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.53