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

../
coq-reduction-effects_0.1.6-4+ocaml1.debian.tar.xz 11-Aug-2026 10:36                2420
coq-reduction-effects_0.1.6-4+ocaml1.dsc           11-Aug-2026 10:36                1331
coq-reduction-effects_0.1.6-4+ocaml1_amd64-2026..> 11-Aug-2026 10:36               61435
coq-reduction-effects_0.1.6-4+ocaml1_amd64.build   11-Aug-2026 10:36               61435
coq-reduction-effects_0.1.6-4+ocaml1_amd64.buil..> 11-Aug-2026 10:36                6502
coq-reduction-effects_0.1.6-4+ocaml1_amd64.changes 11-Aug-2026 10:36                2154
coq-reduction-effects_0.1.6.orig.tar.gz            11-Aug-2026 10:36               10436
libcoq-reduction-effects_0.1.6-4+ocaml1_amd64.deb  11-Aug-2026 10:36               16012