../ 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-3build2.debian.tar.xz 16-Feb-2023 18:50 1656 coq-reduction-effects_0.1.4-3build2.dsc 16-Feb-2023 18:50 2213 coq-reduction-effects_0.1.4.orig.tar.gz 13-Aug-2022 11:24 10K libcoq-reduction-effects_0.1.4-1_amd64.deb 13-Aug-2022 11:24 13K libcoq-reduction-effects_0.1.4-3build2_amd64.deb 16-Feb-2023 18:50 14K