Index of /backports/20260425/repo/pool/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-5+ocaml1.debian.tar.xz 25-Apr-2026 08:22                1964
coq-reduction-effects_0.1.5-5+ocaml1.dsc           25-Apr-2026 08:22                1334
coq-reduction-effects_0.1.5-5+ocaml1_amd64-2026..> 25-Apr-2026 08:22               63567
coq-reduction-effects_0.1.5-5+ocaml1_amd64.build   25-Apr-2026 08:22               63567
coq-reduction-effects_0.1.5-5+ocaml1_amd64.buil..> 25-Apr-2026 08:22                6733
coq-reduction-effects_0.1.5-5+ocaml1_amd64.changes 25-Apr-2026 08:22                2529
coq-reduction-effects_0.1.5.orig.tar.gz            25-Apr-2026 08:21               10369
libcoq-reduction-effects-dbgsym_0.1.5-5+ocaml1_..> 25-Apr-2026 08:22                3228
libcoq-reduction-effects_0.1.5-5+ocaml1_amd64.deb  25-Apr-2026 08:22               15444