Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/coq-serapi

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

autounmask sci-mathematics/coq-serapi

Or alternatively:

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

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/

License:

GPL-3+

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] USE flag 'emacs' in ebuild 0.20.0 is not documented in metadata.xml
• [Warning] USE flag 'ocamlopt' in ebuild 0.20.0 is not documented in metadata.xml
• [Warning] USE flag 'test' in ebuild 0.20.0 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild coq-serapi-0.20.0

USE Flags

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

Files

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

Manifest