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

../
coq-reglang_1.2.2-5+ocaml1.debian.tar.xz           07-Nov-2026 05:28                9744
coq-reglang_1.2.2-5+ocaml1.dsc                     07-Nov-2026 05:28                1256
coq-reglang_1.2.2-5+ocaml1_amd64-2026-11-06T23:..> 07-Nov-2026 05:28               86327
coq-reglang_1.2.2-5+ocaml1_amd64.build             07-Nov-2026 05:28               86327
coq-reglang_1.2.2-5+ocaml1_amd64.buildinfo         07-Nov-2026 05:28                7031
coq-reglang_1.2.2-5+ocaml1_amd64.changes           07-Nov-2026 05:28                1968
coq-reglang_1.2.2.orig.tar.gz                      07-Nov-2026 05:25               69740
libcoq-reglang_1.2.2-5+ocaml1_amd64.deb            07-Nov-2026 05:28              886932