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

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