Index of /transitions/20261111/repo/pool/coq-reglang/

../
coq-reglang_1.2.2-5+ocaml1.debian.tar.xz           11-Nov-2026 17:33                9736
coq-reglang_1.2.2-5+ocaml1.dsc                     11-Nov-2026 17:33                1256
coq-reglang_1.2.2-5+ocaml1_amd64-2026-11-11T16:..> 11-Nov-2026 17:33               83911
coq-reglang_1.2.2-5+ocaml1_amd64.build             11-Nov-2026 17:33               83911
coq-reglang_1.2.2-5+ocaml1_amd64.buildinfo         11-Nov-2026 17:33                7034
coq-reglang_1.2.2-5+ocaml1_amd64.changes           11-Nov-2026 17:33                1968
coq-reglang_1.2.2.orig.tar.gz                      11-Nov-2026 17:32               69740
libcoq-reglang_1.2.2-5+ocaml1_amd64.deb            11-Nov-2026 17:33              886912