../ coq-reduction-effects_0.1.4-1.debian.tar.xz 13-Aug-2022 11:24 1472 coq-reduction-effects_0.1.4-1.dsc 13-Aug-2022 11:24 2199 coq-reduction-effects_0.1.4.orig.tar.gz 13-Aug-2022 11:24 10292 libcoq-reduction-effects_0.1.4-1_amd64.deb 13-Aug-2022 11:24 13818