Index of /transitions/20240715/ocaml-5.2.0/pool/coq-mtac2/

../
coq-mtac2_1.4+8.19-1+ocaml1.debian.tar.xz          15-Jul-2024 17:38                2856
coq-mtac2_1.4+8.19-1+ocaml1.dsc                    15-Jul-2024 17:38                1220
coq-mtac2_1.4+8.19-1+ocaml1_amd64-2024-07-15T17..> 15-Jul-2024 17:38              167184
coq-mtac2_1.4+8.19-1+ocaml1_amd64.build            15-Jul-2024 17:38              167184
coq-mtac2_1.4+8.19-1+ocaml1_amd64.buildinfo        15-Jul-2024 17:38                6554
coq-mtac2_1.4+8.19-1+ocaml1_amd64.changes          15-Jul-2024 17:38                2304
coq-mtac2_1.4+8.19.orig.tar.gz                     15-Jul-2024 17:38              252242
libcoq-mtac2-dbgsym_1.4+8.19-1+ocaml1_amd64.deb    15-Jul-2024 17:38               41024
libcoq-mtac2_1.4+8.19-1+ocaml1_amd64.deb           15-Jul-2024 17:38              809912