../ 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-2build3.debian.tar.xz 03-Dec-2022 09:59 1628 coq-reduction-effects_0.1.4-2build3.dsc 03-Dec-2022 09:59 2208 coq-reduction-effects_0.1.4-3.debian.tar.xz 25-Jan-2023 11:49 1572 coq-reduction-effects_0.1.4-3.dsc 25-Jan-2023 11:49 2214 coq-reduction-effects_0.1.4-3build1.debian.tar.xz 26-Jan-2023 13:54 1644 coq-reduction-effects_0.1.4-3build1.dsc 26-Jan-2023 13:54 2213 coq-reduction-effects_0.1.4.orig.tar.gz 13-Aug-2022 11:24 10292 libcoq-reduction-effects_0.1.4-1_amd64.deb 13-Aug-2022 11:24 13818 libcoq-reduction-effects_0.1.4-2build3_amd64.deb 03-Dec-2022 09:59 14190 libcoq-reduction-effects_0.1.4-3build1_amd64.deb 26-Jan-2023 13:54 14240