Index of /ubuntu/pool/universe/c/coq-reduction-effects/


../
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.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