gentoo.mahdi.cz
sci-mathematics
:gappalib-coq
Allows the certificates Gappa generates to be imported by the Coq
gappalib-coq-1.5.3
LGPL-3+
download
~amd64 ~x86
gentoo
gappalib-coq-1.5.2-r1
LGPL-3+
download
~amd64 ~x86
gentoo
gappalib-coq-0.12
LGPL-2
download
~amd64 ~ppc ~sparc ~x86
bgo