Index of /transitions/ocaml-next/repo/pool/coq-quickchick/

../
coq-quickchick_2.2.0-3+ocaml1.debian.tar.xz        07-Nov-2026 05:28                3952
coq-quickchick_2.2.0-3+ocaml1.dsc                  07-Nov-2026 05:28                1414
coq-quickchick_2.2.0-3+ocaml1_amd64-2026-11-06T..> 07-Nov-2026 05:28              207509
coq-quickchick_2.2.0-3+ocaml1_amd64.build          07-Nov-2026 05:28              207509
coq-quickchick_2.2.0-3+ocaml1_amd64.buildinfo      07-Nov-2026 05:28                7574
coq-quickchick_2.2.0-3+ocaml1_amd64.changes        07-Nov-2026 05:28                2390
coq-quickchick_2.2.0.orig.tar.gz                   07-Nov-2026 05:25              416735
libcoq-quickchick_2.2.0-3+ocaml1_amd64.deb         07-Nov-2026 05:28             3569528
quickchick_2.2.0-3+ocaml1_amd64.deb                07-Nov-2026 05:28              530864