Index of /transitions/20260515/repo/pool/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-5+ocaml1.debian.tar.xz 15-May-2026 09:12                1956
coq-reduction-effects_0.1.5-5+ocaml1.dsc           15-May-2026 09:12                1334
coq-reduction-effects_0.1.5-5+ocaml1_amd64-2026..> 15-May-2026 09:12               64287
coq-reduction-effects_0.1.5-5+ocaml1_amd64.build   15-May-2026 09:12               64287
coq-reduction-effects_0.1.5-5+ocaml1_amd64.buil..> 15-May-2026 09:12                6673
coq-reduction-effects_0.1.5-5+ocaml1_amd64.changes 15-May-2026 09:12                2513
coq-reduction-effects_0.1.5.orig.tar.gz            15-May-2026 09:11               10369
libcoq-reduction-effects-dbgsym_0.1.5-5+ocaml1_..> 15-May-2026 09:12                3220
libcoq-reduction-effects_0.1.5-5+ocaml1_amd64.deb  15-May-2026 09:12               15332