Index of /transitions/ocaml-next/repo/pool/coq-mtac2/

../
coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz          15-May-2026 09:12                3000
coq-mtac2_1.4+8.20-1+ocaml1.dsc                    15-May-2026 09:12                1220
coq-mtac2_1.4+8.20-1+ocaml1_amd64-2026-05-15T08..> 15-May-2026 09:12              258646
coq-mtac2_1.4+8.20-1+ocaml1_amd64.build            15-May-2026 09:12              258646
coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo        15-May-2026 09:12                6568
coq-mtac2_1.4+8.20-1+ocaml1_amd64.changes          15-May-2026 09:12                2310
coq-mtac2_1.4+8.20.orig.tar.gz                     15-May-2026 09:11              252390
libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb    15-May-2026 09:12               41292
libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb           15-May-2026 09:12              792160