../ coq-reduction-effects_0.1.5-5.debian.tar.xz 11-Jun-2026 16:07 1876 coq-reduction-effects_0.1.5-5.dsc 11-Jun-2026 16:07 1995 coq-reduction-effects_0.1.5.orig.tar.gz 11-Jun-2026 16:07 10369 libcoq-reduction-effects_0.1.5-5+b7_riscv64.deb 11-Jun-2026 16:07 15576 libcoq-reduction-effects_0.1.5-5+b8_amd64.deb 11-Jun-2026 16:07 15684