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

../
coq-mtac2_1.4+8.18-1build3.debian.tar.xz           11-Apr-2024 04:30                2952
coq-mtac2_1.4+8.18-1build3.dsc                     11-Apr-2024 04:30                2178
coq-mtac2_1.4+8.18.orig.tar.gz                     08-Mar-2024 09:51              252158
coq-mtac2_1.4+8.20-1build9.debian.tar.xz           10-Apr-2026 04:59                3228
coq-mtac2_1.4+8.20-1build9.dsc                     10-Apr-2026 04:59                2099
coq-mtac2_1.4+8.20.orig.tar.gz                     10-Apr-2026 04:59              252390
libcoq-mtac2_1.4+8.18-1build3_amd64.deb            11-Apr-2024 04:30              885448
libcoq-mtac2_1.4+8.20-1build9_amd64.deb            10-Apr-2026 04:59              891496