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

../
coq-mtac2_1.4+8.20-1+ocaml20250313.debian.tar.xz   13-Mar-2025 11:56                3004
coq-mtac2_1.4+8.20-1+ocaml20250313.dsc             13-Mar-2025 11:56                1248
coq-mtac2_1.4+8.20-1+ocaml20250313_amd64-2025-0..> 13-Mar-2025 11:56              261218
coq-mtac2_1.4+8.20-1+ocaml20250313_amd64.build     13-Mar-2025 11:56              261218
coq-mtac2_1.4+8.20-1+ocaml20250313_amd64.buildinfo 13-Mar-2025 11:56                7227
coq-mtac2_1.4+8.20-1+ocaml20250313_amd64.changes   13-Mar-2025 11:56                2433
coq-mtac2_1.4+8.20.orig.tar.gz                     13-Mar-2025 11:56              252390
libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml20250313_am..> 13-Mar-2025 11:56               41208
libcoq-mtac2_1.4+8.20-1+ocaml20250313_amd64.deb    13-Mar-2025 11:56              793288