coq-reduction-effects_0.1.6-4.debian.tar.xz
coq-reduction-effects_0.1.6-4.dsc
coq-reduction-effects_0.1.6.orig.tar.gz
libcoq-reduction-effects_0.1.6-4+b2_amd64.deb