gentoo.mahdi.cz
sci-mathematics
:coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
https://github.com/ejgallego/coq-serapi/
coq-serapi-0.19.0
GPL-3+
download
~amd64
gentoo