Index of /transitions/ocaml-next/repo/pool/coq-reduction-effects/

../
coq-reduction-effects_0.1.6-4+ocaml1.debian.tar.xz 07-Nov-2026 05:28                2416
coq-reduction-effects_0.1.6-4+ocaml1.dsc           07-Nov-2026 05:28                1331
coq-reduction-effects_0.1.6-4+ocaml1_amd64-2026..> 07-Nov-2026 05:28               64227
coq-reduction-effects_0.1.6-4+ocaml1_amd64.build   07-Nov-2026 05:28               64227
coq-reduction-effects_0.1.6-4+ocaml1_amd64.buil..> 07-Nov-2026 05:28                6377
coq-reduction-effects_0.1.6-4+ocaml1_amd64.changes 07-Nov-2026 05:28                2138
coq-reduction-effects_0.1.6.orig.tar.gz            07-Nov-2026 05:25               10436
libcoq-reduction-effects_0.1.6-4+ocaml1_amd64.deb  07-Nov-2026 05:28               16052