../ coq-reduction-effects_0.1.4-3.debian.tar.xz 25-Jan-2023 01:47 1572 coq-reduction-effects_0.1.4-3.dsc 25-Jan-2023 01:47 2214 coq-reduction-effects_0.1.4.orig.tar.gz 12-Aug-2022 23:08 10292 libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 12-Feb-2023 23:11 14460 libcoq-reduction-effects_0.1.4-3+b1_i386.deb 12-Feb-2023 23:16 13956