Index of /debian-trixie/debian/pool/main/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-5.debian.tar.xz        09-Feb-2026 20:49                1876
coq-reduction-effects_0.1.5-5.dsc                  09-Feb-2026 20:49                1995
coq-reduction-effects_0.1.5.orig.tar.gz            09-Feb-2026 20:49               10369
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb      09-Feb-2026 20:49               15684