Packages

Get Gentoo!

sci-mathematics/

coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

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

Good job! There are no bugs.

You think something is missing here?
Start with filling a new bug.

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:

Shortcuts

Packages Bugs (0)
Stabilization Bugs (0)
Keywording Bugs (0)