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

../
coq-reduction-effects_0.1.5-5+ocaml1.debian.tar.xz 02-Jul-2026 21:15                1956
coq-reduction-effects_0.1.5-5+ocaml1.dsc           02-Jul-2026 21:15                1334
coq-reduction-effects_0.1.5-5+ocaml1_amd64-2026..> 02-Jul-2026 21:15               64673
coq-reduction-effects_0.1.5-5+ocaml1_amd64.build   02-Jul-2026 21:15               64673
coq-reduction-effects_0.1.5-5+ocaml1_amd64.buil..> 02-Jul-2026 21:15                6748
coq-reduction-effects_0.1.5-5+ocaml1_amd64.changes 02-Jul-2026 21:15                2513
coq-reduction-effects_0.1.5.orig.tar.gz            02-Jul-2026 21:13               10369
libcoq-reduction-effects-dbgsym_0.1.5-5+ocaml1_..> 02-Jul-2026 21:15                3208
libcoq-reduction-effects_0.1.5-5+ocaml1_amd64.deb  02-Jul-2026 21:15               15324