Index of /backports/20260106/pool/coq-mtac2/

../
coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz          06-Jan-2026 07:29                3004
coq-mtac2_1.4+8.20-1+ocaml1.dsc                    06-Jan-2026 07:29                1220
coq-mtac2_1.4+8.20-1+ocaml1_amd64-2026-01-06T07..> 06-Jan-2026 07:29              256613
coq-mtac2_1.4+8.20-1+ocaml1_amd64.build            06-Jan-2026 07:29              256613
coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo        06-Jan-2026 07:29                6558
coq-mtac2_1.4+8.20-1+ocaml1_amd64.changes          06-Jan-2026 07:29                2312
coq-mtac2_1.4+8.20.orig.tar.gz                     06-Jan-2026 07:29              252390
libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb    06-Jan-2026 07:29               41220
libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb           06-Jan-2026 07:29              791564