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.20.0
    ~amd64
    emacs +ocamlopt test

    View      Download      Browse     License: GPL-3+   
    Overlay: gentoo
  • coq-serapi-0.19.0
    ~amd64
    emacs +ocamlopt test

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

Runtime Dependencies

coq-serapi-0.20.0

>=sci-mathematics/coq-8.20.0:=
<sci-mathematics/coq-8.21.0:=
>=dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=
dev-ml/ppx_deriving_yojson:=
dev-ml/ppx_hash:=
dev-ml/ppx_import:=
dev-ml/sexplib:=
dev-ml/yojson:=

>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=

coq-serapi-0.19.0

>=sci-mathematics/coq-8.19.0:=
<sci-mathematics/coq-8.20.0:=
>=dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=
dev-ml/ppx_deriving_yojson:=
dev-ml/ppx_hash:=
dev-ml/ppx_import:=
dev-ml/sexplib:=
dev-ml/yojson:=

>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=