../ coq-reduction-effects_0.1.4-3.debian.tar.xz 16-Feb-2023 22:22 1572 coq-reduction-effects_0.1.4-3.dsc 16-Feb-2023 22:22 2214 coq-reduction-effects_0.1.4.orig.tar.gz 16-Feb-2023 22:22 10292 libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 16-Feb-2023 22:30 14460 libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 16-Feb-2023 22:28 14604 libcoq-reduction-effects_0.1.4-3+b1_i386.deb 16-Feb-2023 22:38 13956