gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

Screenshots

  • coq-serapi-0.19.0
    ~amd64
    emacs +ocamlopt test

    View      Download      Browse     License: GPL-3+   
    Overlay: gentoo

Reverse Dependencies

sci-mathematics/alectryon
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.