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

../
coq-reglang_1.2.1-3+ocaml1.debian.tar.xz           15-Jul-2024 21:37                8628
coq-reglang_1.2.1-3+ocaml1.dsc                     15-Jul-2024 21:37                1237
coq-reglang_1.2.1-3+ocaml1_amd64-2024-07-15T21:..> 15-Jul-2024 21:37               62169
coq-reglang_1.2.1-3+ocaml1_amd64.build             15-Jul-2024 21:37               62169
coq-reglang_1.2.1-3+ocaml1_amd64.buildinfo         15-Jul-2024 21:37                6826
coq-reglang_1.2.1-3+ocaml1_amd64.changes           15-Jul-2024 21:37                1962
coq-reglang_1.2.1.orig.tar.gz                      15-Jul-2024 21:37               69424
libcoq-reglang_1.2.1-3+ocaml1_amd64.deb            15-Jul-2024 21:37              855044