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

../
coq-reduction-effects_0.1.6-4+ocaml1.debian.tar.xz 24-Oct-2026 07:14                2416
coq-reduction-effects_0.1.6-4+ocaml1.dsc           24-Oct-2026 07:14                1331
coq-reduction-effects_0.1.6-4+ocaml1_amd64-2026..> 24-Oct-2026 07:14               61389
coq-reduction-effects_0.1.6-4+ocaml1_amd64.build   24-Oct-2026 07:14               61389
coq-reduction-effects_0.1.6-4+ocaml1_amd64.buil..> 24-Oct-2026 07:14                6323
coq-reduction-effects_0.1.6-4+ocaml1_amd64.changes 24-Oct-2026 07:14                2138
coq-reduction-effects_0.1.6.orig.tar.gz            24-Oct-2026 07:13               10436
libcoq-reduction-effects_0.1.6-4+ocaml1_amd64.deb  24-Oct-2026 07:14               16020