gentoo.mahdi.cz

  

sci-mathematics:gappalib-coq


Allows the certificates Gappa generates to be imported by the Coq

gappalib-coq-1.5.3LGPL-3+
download~amd64 ~x86gentoo
gappalib-coq-1.5.2-r1LGPL-3+
download~amd64 ~x86gentoo
gappalib-coq-0.12LGPL-2
download~amd64 ~ppc ~sparc ~x86bgo