Index of /backports/20260106/pool/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-5+ocaml1.debian.tar.xz 06-Jan-2026 07:19                1964
coq-reduction-effects_0.1.5-5+ocaml1.dsc           06-Jan-2026 07:19                1334
coq-reduction-effects_0.1.5-5+ocaml1_amd64-2026..> 06-Jan-2026 07:19               62263
coq-reduction-effects_0.1.5-5+ocaml1_amd64.build   06-Jan-2026 07:19               62263
coq-reduction-effects_0.1.5-5+ocaml1_amd64.buil..> 06-Jan-2026 07:19                6663
coq-reduction-effects_0.1.5-5+ocaml1_amd64.changes 06-Jan-2026 07:19                2515
coq-reduction-effects_0.1.5.orig.tar.gz            06-Jan-2026 07:19               10369
libcoq-reduction-effects-dbgsym_0.1.5-5+ocaml1_..> 06-Jan-2026 07:19                3228
libcoq-reduction-effects_0.1.5-5+ocaml1_amd64.deb  06-Jan-2026 07:19               15448