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
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