Gentoo Packages

Search

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

Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

Bugs: https://gitlab.inria.fr/gappa/coq/-/issues/

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

[Warning] Ebuild 1.5.3 uses IUSE flag 'ocamlopt' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
[Warning] Ebuild 1.5.2-r1 uses IUSE flag 'ocamlopt' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
[Warning] Missing md5-cache for version 1.5.3. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
[Warning] Missing md5-cache for version 1.5.2-r1. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

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

sci-mathematics/gappalib-coq (gentoo)

Search

Package Information

Versions

Metadata

Maintainers

Upstream

Lint Warnings

USE Flags

Manifest