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

../
coq-reduction-effects_0.1.6-4+ocaml1.debian.tar.xz 08-Sep-2026 05:52                2416
coq-reduction-effects_0.1.6-4+ocaml1.dsc           08-Sep-2026 05:52                1331
coq-reduction-effects_0.1.6-4+ocaml1_amd64-2026..> 08-Sep-2026 05:52               61131
coq-reduction-effects_0.1.6-4+ocaml1_amd64.build   08-Sep-2026 05:52               61131
coq-reduction-effects_0.1.6-4+ocaml1_amd64.buil..> 08-Sep-2026 05:52                6229
coq-reduction-effects_0.1.6-4+ocaml1_amd64.changes 08-Sep-2026 05:52                2138
coq-reduction-effects_0.1.6.orig.tar.gz            08-Sep-2026 05:51               10436
libcoq-reduction-effects_0.1.6-4+ocaml1_amd64.deb  08-Sep-2026 05:52               16024