../ coq-reduction-effects_0.1.6-4.debian.tar.xz 28-Jul-2026 09:39 2348 coq-reduction-effects_0.1.6-4.dsc 28-Jul-2026 09:39 2223 coq-reduction-effects_0.1.6.orig.tar.gz 29-Oct-2025 08:39 10436 libcoq-reduction-effects_0.1.6-4+b1_arm64.deb 25-Aug-2026 23:03 16436 libcoq-reduction-effects_0.1.6-4+b2_amd64.deb 25-Aug-2026 23:08 16240