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

../
coq-quickchick_2.2.0-3+ocaml1.debian.tar.xz        11-Nov-2026 17:33                3952
coq-quickchick_2.2.0-3+ocaml1.dsc                  11-Nov-2026 17:33                1414
coq-quickchick_2.2.0-3+ocaml1_amd64-2026-11-11T..> 11-Nov-2026 17:33              205093
coq-quickchick_2.2.0-3+ocaml1_amd64.build          11-Nov-2026 17:33              205093
coq-quickchick_2.2.0-3+ocaml1_amd64.buildinfo      11-Nov-2026 17:33                7577
coq-quickchick_2.2.0-3+ocaml1_amd64.changes        11-Nov-2026 17:33                2390
coq-quickchick_2.2.0.orig.tar.gz                   11-Nov-2026 17:32              416735
libcoq-quickchick_2.2.0-3+ocaml1_amd64.deb         11-Nov-2026 17:33             3569884
quickchick_2.2.0-3+ocaml1_amd64.deb                11-Nov-2026 17:33              530596