Index of /transitions/ocaml-5.2.0/pool/coq-reduction-effects/


../
coq-reduction-effects_0.1.5-4.1+ocaml1.debian.t..> 04-Aug-2024 03:16                1968
coq-reduction-effects_0.1.5-4.1+ocaml1.dsc         04-Aug-2024 03:16                1342
coq-reduction-effects_0.1.5-4.1+ocaml1_amd64-20..> 04-Aug-2024 03:16               63969
coq-reduction-effects_0.1.5-4.1+ocaml1_amd64.build 04-Aug-2024 03:16               63969
coq-reduction-effects_0.1.5-4.1+ocaml1_amd64.bu..> 04-Aug-2024 03:16                6662
coq-reduction-effects_0.1.5-4.1+ocaml1_amd64.ch..> 04-Aug-2024 03:16                2541
coq-reduction-effects_0.1.5.orig.tar.gz            04-Aug-2024 03:16               10369
libcoq-reduction-effects-dbgsym_0.1.5-4.1+ocaml..> 04-Aug-2024 03:16                3216
libcoq-reduction-effects_0.1.5-4.1+ocaml1_amd64..> 04-Aug-2024 03:16               15652