Index of /transitions/ocaml-5.5.1/repo/pool/coq-reglang/

../
coq-reglang_1.2.2-5+ocaml1.debian.tar.xz           08-Sep-2026 05:52                9736
coq-reglang_1.2.2-5+ocaml1.dsc                     08-Sep-2026 05:52                1256
coq-reglang_1.2.2-5+ocaml1_amd64-2026-09-08T00:..> 08-Sep-2026 05:52               83226
coq-reglang_1.2.2-5+ocaml1_amd64.build             08-Sep-2026 05:52               83226
coq-reglang_1.2.2-5+ocaml1_amd64.buildinfo         08-Sep-2026 05:52                6883
coq-reglang_1.2.2-5+ocaml1_amd64.changes           08-Sep-2026 05:52                1968
coq-reglang_1.2.2.orig.tar.gz                      08-Sep-2026 05:51               69740
libcoq-reglang_1.2.2-5+ocaml1_amd64.deb            08-Sep-2026 05:52              886848