sci-mathematics/coq-serapi – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
0.17.0 : 0/0.17.0	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
0.16.3 : 0/0.16.3	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
0.16.2-r1 : 0/0.16.2	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
0.16.1 : 0/0.16.1	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc

Upstream

Changelog	https://github.com/ejgallego/coq-serapi/releases/
Bugs-To	https://github.com/ejgallego/coq-serapi/issues/
Remote-Id	https://github.com/ejgallego/coq-serapi

Full 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.
USE flags
Global Use Flags
- emacs
- ocamlopt
- test
License

GPL-3+
Maintainer(s)

Gentoo Mathematics Project

CI Report (verbose)

Repology

Git log (short)

sci-mathematics/ coq-serapi