../ coq-reduction-effects_0.1.3-2.debian.tar.xz 19-Jul-2022 07:05 1444 coq-reduction-effects_0.1.3-2.dsc 19-Jul-2022 07:05 2199 coq-reduction-effects_0.1.3.orig.tar.gz 19-Jul-2022 07:05 10085 libcoq-reduction-effects_0.1.3-2_armhf.deb 27-Jul-2022 22:08 13584