Gentoo Portage Overlays - sci-mathematics/gappalib-coq

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

Screenshots

http://gappa.gforge.inria.fr/

gappalib-coq-1.0.0

~amd64 ~x86

View

Download

Browse License: LGPL-2

Overlay: science (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs