Index of /debian/pool/main/c/coq-mtac2/

../
coq-mtac2_1.4+8.16-1.debian.tar.xz                 06-Sep-2022 09:09                2428
coq-mtac2_1.4+8.16-1.dsc                           06-Sep-2022 09:09                2095
coq-mtac2_1.4+8.16.orig.tar.gz                     06-Sep-2022 09:09              251070
libcoq-mtac2_1.4+8.16-1+b1_amd64.deb               30-Nov-2022 00:45              762440
libcoq-mtac2_1.4+8.16-1+b1_arm64.deb               30-Nov-2022 01:25              771788
libcoq-mtac2_1.4+8.16-1+b1_armhf.deb               30-Nov-2022 00:55              761608
libcoq-mtac2_1.4+8.16-1+b1_i386.deb                30-Nov-2022 01:35              750628
libcoq-mtac2_1.4+8.16-1+b1_ppc64el.deb             30-Nov-2022 03:42              765840
libcoq-mtac2_1.4+8.16-1+b1_s390x.deb               30-Nov-2022 04:02              766436