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

../
coq-mtac2_1.4+8.15-3.debian.tar.xz                 07-Aug-2022 11:14                2404
coq-mtac2_1.4+8.15-3.dsc                           07-Aug-2022 11:14                2095
coq-mtac2_1.4+8.15.orig.tar.gz                     20-Jul-2022 23:19              250658
coq-mtac2_1.4+8.16-2build2.debian.tar.xz           17-Feb-2023 07:29                2576
coq-mtac2_1.4+8.16-2build2.dsc                     17-Feb-2023 07:29                2099
coq-mtac2_1.4+8.16.orig.tar.gz                     06-Nov-2022 03:17              251070
coq-mtac2_1.4+8.17-1build1.debian.tar.xz           26-Jul-2023 05:19                2680
coq-mtac2_1.4+8.17-1build1.dsc                     26-Jul-2023 05:19                2099
coq-mtac2_1.4+8.17.orig.tar.gz                     13-Jun-2023 11:34              251587
libcoq-mtac2_1.4+8.15-3_amd64.deb                  07-Aug-2022 11:33              858300
libcoq-mtac2_1.4+8.15-3_arm64.deb                  07-Aug-2022 11:53              880112
libcoq-mtac2_1.4+8.15-3_armhf.deb                  07-Aug-2022 11:33              860514
libcoq-mtac2_1.4+8.15-3_ppc64el.deb                07-Aug-2022 11:33              867994
libcoq-mtac2_1.4+8.15-3_riscv64.deb                07-Aug-2022 11:53              864132
libcoq-mtac2_1.4+8.15-3_s390x.deb                  07-Aug-2022 11:33              869526
libcoq-mtac2_1.4+8.16-2build2_amd64.deb            17-Feb-2023 07:29              850962
libcoq-mtac2_1.4+8.16-2build2_arm64.deb            17-Feb-2023 07:29              872918
libcoq-mtac2_1.4+8.16-2build2_armhf.deb            17-Feb-2023 07:29              854560
libcoq-mtac2_1.4+8.16-2build2_ppc64el.deb          17-Feb-2023 07:29              860502
libcoq-mtac2_1.4+8.16-2build2_riscv64.deb          17-Feb-2023 08:04              855952
libcoq-mtac2_1.4+8.16-2build2_s390x.deb            17-Feb-2023 07:29              863344
libcoq-mtac2_1.4+8.17-1build1_amd64.deb            26-Jul-2023 07:55              861574
libcoq-mtac2_1.4+8.17-1build1_arm64.deb            26-Jul-2023 07:55              884014
libcoq-mtac2_1.4+8.17-1build1_armhf.deb            26-Jul-2023 07:55              865012
libcoq-mtac2_1.4+8.17-1build1_ppc64el.deb          26-Jul-2023 07:56              871866
libcoq-mtac2_1.4+8.17-1build1_riscv64.deb          26-Jul-2023 08:54              866900
libcoq-mtac2_1.4+8.17-1build1_s390x.deb            26-Jul-2023 07:56              874238