../ coq-reduction-effects_0.1.4-3.debian.tar.xz 31-Jul-2024 12:04 1572 coq-reduction-effects_0.1.4-3.dsc 31-Jul-2024 12:04 2214 coq-reduction-effects_0.1.4.orig.tar.gz 31-Jul-2024 12:04 10292 libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 31-Jul-2024 11:53 14460 libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 31-Jul-2024 12:06 14604 libcoq-reduction-effects_0.1.4-3+b1_i386.deb 31-Jul-2024 12:14 13956