This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant.
Created attachment 182424 [details] sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild A suggested ebuild.
Of course the ebuild for gappa is needed: http://bugs.gentoo.org/show_bug.cgi?id=259476
Created attachment 185864 [details] sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild A few clean ups Install doc files
Created attachment 208087 [details] sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild version bump
Created attachment 208102 [details] sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild eapi2 update
In science overlay now.