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

../
coq-quickchick_2.2.0-3+ocaml1.debian.tar.xz        08-Sep-2026 05:52                3952
coq-quickchick_2.2.0-3+ocaml1.dsc                  08-Sep-2026 05:52                1414
coq-quickchick_2.2.0-3+ocaml1_amd64-2026-09-08T..> 08-Sep-2026 05:52              204410
coq-quickchick_2.2.0-3+ocaml1_amd64.build          08-Sep-2026 05:52              204410
coq-quickchick_2.2.0-3+ocaml1_amd64.buildinfo      08-Sep-2026 05:52                7426
coq-quickchick_2.2.0-3+ocaml1_amd64.changes        08-Sep-2026 05:52                2390
coq-quickchick_2.2.0.orig.tar.gz                   08-Sep-2026 05:51              416735
libcoq-quickchick_2.2.0-3+ocaml1_amd64.deb         08-Sep-2026 05:52             3569400
quickchick_2.2.0-3+ocaml1_amd64.deb                08-Sep-2026 05:52              529680