Index of /backports/20260425/repo/pool/coq-mtac2/

../
coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz          25-Apr-2026 08:22                3000
coq-mtac2_1.4+8.20-1+ocaml1.dsc                    25-Apr-2026 08:22                1220
coq-mtac2_1.4+8.20-1+ocaml1_amd64-2026-04-25T02..> 25-Apr-2026 08:22              257919
coq-mtac2_1.4+8.20-1+ocaml1_amd64.build            25-Apr-2026 08:22              257919
coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo        25-Apr-2026 08:22                6628
coq-mtac2_1.4+8.20-1+ocaml1_amd64.changes          25-Apr-2026 08:22                2326
coq-mtac2_1.4+8.20.orig.tar.gz                     25-Apr-2026 08:21              252390
libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb    25-Apr-2026 08:22               41268
libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb           25-Apr-2026 08:22              791844