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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-mtac2_1.4+8.16-2build2.debian.tar.xz2023-Feb-17 15:29:112.5Kapplication/x-xz
coq-mtac2_1.4+8.16-2build2.dsc2023-Feb-17 15:29:112.0Kapplication/octet-stream
coq-mtac2_1.4+8.16.orig.tar.gz2022-Nov-06 11:17:23245.1Kapplication/gzip
coq-mtac2_1.4+8.17-1build1.debian.tar.xz2023-Jul-26 13:19:342.6Kapplication/x-xz
coq-mtac2_1.4+8.17-1build1.dsc2023-Jul-26 13:19:342.0Kapplication/octet-stream
coq-mtac2_1.4+8.17.orig.tar.gz2023-Jun-13 19:34:29245.7Kapplication/gzip
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.1Kapplication/octet-stream
coq-mtac2_1.4+8.18.orig.tar.gz2023-Dec-24 01:16:58246.2Kapplication/gzip
coq-mtac2_1.4+8.19-1.debian.tar.xz2024-May-02 19:53:142.7Kapplication/x-xz
coq-mtac2_1.4+8.19-1.dsc2024-May-02 19:53:142.0Kapplication/octet-stream
coq-mtac2_1.4+8.19-1build1.debian.tar.xz2024-May-03 04:28:302.8Kapplication/x-xz
coq-mtac2_1.4+8.19-1build1.dsc2024-May-03 04:28:302.0Kapplication/octet-stream
coq-mtac2_1.4+8.19.orig.tar.gz2024-May-02 19:53:14246.3Kapplication/gzip
libcoq-mtac2_1.4+8.16-2build2_arm64.deb2023-Feb-17 15:29:23852.4Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.16-2build2_armhf.deb2023-Feb-17 15:29:25834.5Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.16-2build2_ppc64el.deb2023-Feb-17 15:29:26840.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.16-2build2_riscv64.deb2023-Feb-17 16:04:04835.9Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.16-2build2_s390x.deb2023-Feb-17 15:29:27843.1Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.17-1build1_arm64.deb2023-Jul-26 15:55:44863.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.17-1build1_armhf.deb2023-Jul-26 15:55:55844.7Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.17-1build1_ppc64el.deb2023-Jul-26 15:56:01851.4Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.17-1build1_riscv64.deb2023-Jul-26 16:54:25846.5Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.17-1build1_s390x.deb2023-Jul-26 15:56:09853.7Kapplication/vnd.debian.binary-package
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_ppc64el.deb2024-Apr-08 21:15:27872.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.18-1build3_s390x.deb2024-Apr-08 21:15:46875.4Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1_arm64.deb2024-May-03 02:44:06898.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1_ppc64el.deb2024-May-03 02:44:06885.7Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1_riscv64.deb2024-May-03 03:58:57887.8Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1_s390x.deb2024-May-03 02:44:08888.5Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1build1_arm64.deb2024-May-03 04:57:42898.0Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1build1_ppc64el.deb2024-May-03 04:28:35885.8Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1build1_riscv64.deb2024-May-03 04:57:42888.3Kapplication/vnd.debian.binary-package
libcoq-mtac2_1.4+8.19-1build1_s390x.deb2024-May-03 04:28:36888.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.35