../ coq-reduction-effects_0.1.5-ok1.debian.tar.xz 06-May-2026 17:16 1504 coq-reduction-effects_0.1.5-ok1.dsc 06-May-2026 17:16 2013 coq-reduction-effects_0.1.5.orig.tar.gz 06-May-2026 17:16 10369 libcoq-reduction-effects_0.1.5-ok1_amd64.deb 07-May-2026 15:56 13990 libcoq-reduction-effects_0.1.5-ok1_arm64.deb 11-May-2026 05:15 14864 libcoq-reduction-effects_0.1.5-ok1_riscv64.deb 29-May-2026 23:41 14440