../ coq-reduction-effects_0.1.4-3.debian.tar.xz 14-Jun-2023 13:55 1572 coq-reduction-effects_0.1.4-3.dsc 14-Jun-2023 13:55 2214 coq-reduction-effects_0.1.4.orig.tar.gz 14-Jun-2023 13:55 10K libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 14-Jun-2023 20:17 14K libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 14-Jun-2023 20:17 14K