Index of /ubuntu-ports/pool/universe/c/coq-mtac2/
../ coq-mtac2_1.4+8.15-3.debian.tar.xz 07-Aug-2022 18:14 2404 coq-mtac2_1.4+8.15-3.dsc 07-Aug-2022 18:14 2095 coq-mtac2_1.4+8.15.orig.tar.gz 21-Jul-2022 06:19 245K coq-mtac2_1.4+8.16-1build2.debian.tar.xz 03-Dec-2022 19:29 2528 coq-mtac2_1.4+8.16-1build2.dsc 03-Dec-2022 19:29 2094 coq-mtac2_1.4+8.16-2.debian.tar.xz 27-Jan-2023 00:29 2480 coq-mtac2_1.4+8.16-2.dsc 27-Jan-2023 00:29 2100 coq-mtac2_1.4+8.16-2build2.debian.tar.xz 17-Feb-2023 14:29 2576 coq-mtac2_1.4+8.16-2build2.dsc 17-Feb-2023 14:29 2099 coq-mtac2_1.4+8.16.orig.tar.gz 06-Nov-2022 10:17 245K libcoq-mtac2_1.4+8.15-3_arm64.deb 07-Aug-2022 18:53 859K libcoq-mtac2_1.4+8.15-3_armhf.deb 07-Aug-2022 18:33 840K libcoq-mtac2_1.4+8.15-3_ppc64el.deb 07-Aug-2022 18:33 848K libcoq-mtac2_1.4+8.15-3_riscv64.deb 07-Aug-2022 18:53 844K libcoq-mtac2_1.4+8.15-3_s390x.deb 07-Aug-2022 18:33 849K libcoq-mtac2_1.4+8.16-1build2_arm64.deb 03-Dec-2022 19:29 853K libcoq-mtac2_1.4+8.16-1build2_armhf.deb 03-Dec-2022 19:29 836K libcoq-mtac2_1.4+8.16-1build2_ppc64el.deb 03-Dec-2022 19:29 841K libcoq-mtac2_1.4+8.16-1build2_riscv64.deb 03-Dec-2022 20:04 836K libcoq-mtac2_1.4+8.16-1build2_s390x.deb 03-Dec-2022 19:29 844K libcoq-mtac2_1.4+8.16-2_arm64.deb 27-Jan-2023 00:54 853K libcoq-mtac2_1.4+8.16-2_armhf.deb 27-Jan-2023 00:54 835K libcoq-mtac2_1.4+8.16-2_ppc64el.deb 27-Jan-2023 00:29 841K libcoq-mtac2_1.4+8.16-2_riscv64.deb 27-Jan-2023 01:24 836K libcoq-mtac2_1.4+8.16-2_s390x.deb 27-Jan-2023 00:54 844K libcoq-mtac2_1.4+8.16-2build2_arm64.deb 17-Feb-2023 14:29 852K libcoq-mtac2_1.4+8.16-2build2_armhf.deb 17-Feb-2023 14:29 835K libcoq-mtac2_1.4+8.16-2build2_ppc64el.deb 17-Feb-2023 14:29 840K libcoq-mtac2_1.4+8.16-2build2_riscv64.deb 17-Feb-2023 15:04 836K libcoq-mtac2_1.4+8.16-2build2_s390x.deb 17-Feb-2023 14:29 843K