Gentoo Packages

sci-mathematics/gappalib-coq (gentoo)

Search

Install

Install this package:

emerge -a sci-mathematics/gappalib-coq

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/gappalib-coq

Or alternatively:

emerge --autounmask-write -a sci-mathematics/gappalib-coq

Package Information

Description:
Allows the certificates Gappa generates to be imported by the Coq
Homepage:
https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/coq/
License:
LGPL-3+

Versions

Version EAPI Keywords Slot
1.5.3 8 ~amd64 ~x86 0
1.5.2-r1 8 ~amd64 ~x86 0

Metadata

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<upstream>
		<bugs-to>https://gitlab.inria.fr/gappa/coq/-/issues/</bugs-to>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/gappalib-coq | euse -E <flag> -p sci-mathematics/gappalib-coq | euse -D <flag> -p sci-mathematics/gappalib-coq

Flag Description 1.5.3 1.5.2-r1
ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale) ✓ ✓

Manifest

Type File Size Versions
DIST gappalib-coq-1.5.3.tar.gz 119795 bytes 1.5.3
Unmatched Entries
Type File Size
DIST gappalib-coq-1.5.2.tar.gz 115236 bytes