Index of /transitions/20261111/repo/pool/coq-mtac2/

../
coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz       11-Nov-2026 17:33                4728
coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc                 11-Nov-2026 17:33                1248
coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64-2026-11-11..> 11-Nov-2026 17:33              592086
coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.build         11-Nov-2026 17:33              592086
coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo     11-Nov-2026 17:33                6334
coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.changes       11-Nov-2026 17:33                2022
coq-mtac2_1.4-rocq9.1.orig.tar.gz                  11-Nov-2026 17:32              252426
libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb        11-Nov-2026 17:33              794052