Gentoo Packages

Search

Package Information

Description:

SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality.

Homepage:

https://github.com/ejgallego/coq-serapi/

Versions

Metadata

Description

• SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality.

Maintainers

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

Upstream

• Bugs: https://github.com/ejgallego/coq-serapi/issues/
• Changelog: https://github.com/ejgallego/coq-serapi/releases/
• Remote IDs:
  • github: ejgallego/coq-serapi

<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    SerAPI is a library for machine-to-machine interaction with the Coq proof
    assistant, with particular emphasis on applications in IDEs, code analysis
    tools, and machine learning. SerAPI provides automatic serialization of
    Coq's internal OCaml datatypes from/to JSON or S-expressions (sexps).
    SerAPI is a proof-of-concept and should be considered alpha-quality.
  </longdescription>
	<upstream>
		<changelog>https://github.com/ejgallego/coq-serapi/releases/</changelog>
		<bugs-to>https://github.com/ejgallego/coq-serapi/issues/</bugs-to>
		<remote-id type="github">ejgallego/coq-serapi</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 0.20.0 uses IUSE flag 'emacs' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 0.20.0 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 0.20.0. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• 50sertop-gentoo.el
• coq-serapi-0.19.0-sertop-el.patch

Manifest