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

../
coq-quickchick_2.2.0-3+ocaml1.debian.tar.xz        24-Oct-2026 07:14                3952
coq-quickchick_2.2.0-3+ocaml1.dsc                  24-Oct-2026 07:14                1414
coq-quickchick_2.2.0-3+ocaml1_amd64-2026-10-23T..> 24-Oct-2026 07:14              204672
coq-quickchick_2.2.0-3+ocaml1_amd64.build          24-Oct-2026 07:14              204672
coq-quickchick_2.2.0-3+ocaml1_amd64.buildinfo      24-Oct-2026 07:14                7520
coq-quickchick_2.2.0-3+ocaml1_amd64.changes        24-Oct-2026 07:14                2390
coq-quickchick_2.2.0.orig.tar.gz                   24-Oct-2026 07:13              416735
libcoq-quickchick_2.2.0-3+ocaml1_amd64.deb         24-Oct-2026 07:14             3569760
quickchick_2.2.0-3+ocaml1_amd64.deb                24-Oct-2026 07:14              530444