sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
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:=
<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:=