sci-mathematics/
coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

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

There are no open security bugs.

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

Please file new vulnerability reports on Gentoo Bugzilla and assign them to the Gentoo Security product and Vulnerabilities component.