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

../
coq-mtac2_1.4+8.18-1build3.debian.tar.xz           08-Apr-2024 15:57                2952
coq-mtac2_1.4+8.18-1build3.dsc                     08-Apr-2024 15:57                2178
coq-mtac2_1.4+8.18.orig.tar.gz                     24-Dec-2023 01:16              252158
coq-mtac2_1.4+8.20-1build5.debian.tar.xz           20-Feb-2025 02:58                3120
coq-mtac2_1.4+8.20-1build5.dsc                     20-Feb-2025 02:58                2099
coq-mtac2_1.4+8.20-1build6.debian.tar.xz           20-Jun-2025 21:22                3140
coq-mtac2_1.4+8.20-1build6.dsc                     20-Jun-2025 21:22                2099
coq-mtac2_1.4+8.20-1build9.debian.tar.xz           05-Mar-2026 01:33                3228
coq-mtac2_1.4+8.20-1build9.dsc                     05-Mar-2026 01:33                2099
coq-mtac2_1.4+8.20.orig.tar.gz                     24-Nov-2024 08:12              252390
coq-mtac2_1.4-rocq9.1-2build1.debian.tar.xz        31-Aug-2026 16:08                4732
coq-mtac2_1.4-rocq9.1-2build1.dsc                  31-Aug-2026 16:08                2127
coq-mtac2_1.4-rocq9.1.orig.tar.gz                  29-Jul-2026 08:05              252426
libcoq-mtac2_1.4+8.18-1build3_amd64.deb            08-Apr-2024 18:59              885448
libcoq-mtac2_1.4+8.20-1build5_amd64.deb            20-Feb-2025 07:03              893920
libcoq-mtac2_1.4+8.20-1build6_amd64.deb            21-Jun-2025 01:40              891484
libcoq-mtac2_1.4+8.20-1build6_arm64.deb            21-Jun-2025 01:40              911514
libcoq-mtac2_1.4+8.20-1build9_amd64.deb            05-Mar-2026 01:34              891496
libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb          05-Mar-2026 01:34              891472
libcoq-mtac2_1.4+8.20-1build9_arm64.deb            05-Mar-2026 16:49              911364
libcoq-mtac2_1.4-rocq9.1-2build1_amd64.deb         31-Aug-2026 16:27              897226
libcoq-mtac2_1.4-rocq9.1-2build1_amd64v3.deb       31-Aug-2026 16:28              897280
libcoq-mtac2_1.4-rocq9.1-2build1_arm64.deb         31-Aug-2026 16:28              917626