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

../
coq-reduction-effects_0.1.5-5+ocaml1.debian.tar.xz 15-Jan-2025 17:27                1956
coq-reduction-effects_0.1.5-5+ocaml1.dsc           15-Jan-2025 17:27                1334
coq-reduction-effects_0.1.5-5+ocaml1_amd64-2025..> 15-Jan-2025 17:27               64222
coq-reduction-effects_0.1.5-5+ocaml1_amd64.build   15-Jan-2025 17:27               64222
coq-reduction-effects_0.1.5-5+ocaml1_amd64.buil..> 15-Jan-2025 17:27                6706
coq-reduction-effects_0.1.5-5+ocaml1_amd64.changes 15-Jan-2025 17:27                2507
coq-reduction-effects_0.1.5.orig.tar.gz            15-Jan-2025 17:27               10369
libcoq-reduction-effects-dbgsym_0.1.5-5+ocaml1_..> 15-Jan-2025 17:27                3216
libcoq-reduction-effects_0.1.5-5+ocaml1_amd64.deb  15-Jan-2025 17:27               15440