Index of /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-1build2.debian.tar.xz           03-Dec-2022 12:29                2528
coq-mtac2_1.4+8.16-1build2.dsc                     03-Dec-2022 12:29                2094
coq-mtac2_1.4+8.16.orig.tar.gz                     06-Nov-2022 03:17              251070
libcoq-mtac2_1.4+8.15-3_amd64.deb                  07-Aug-2022 11:33              858300
libcoq-mtac2_1.4+8.16-1build2_amd64.deb            03-Dec-2022 12:29              851250