package coq-serapi
Sexp Protocol for machine-based interaction with the Coq Proof Assistant
Install
Dune Dependency
Authors
Maintainers
Sources
8.7.1+0.4.2.tar.gz
sha256=4bd4d24b399f7b28bf24b94d889f4827e4cc6a272b47380cf796331c4deaccc0
md5=9a10e3ed7256529ed5169993c97a5a94
Description
Published: 15 Jan 2018
Dependencies (11)
-
ppx_sexp_conv
< "v0.11.0" -
ppx_driver
build & >= "v0.10.1" -
ppx_deriving
>= "4.2.1" -
ppx_import
>= "1.4" & < "2.0" -
ocamlbuild
build -
ocamlfind
build - sexplib
-
cmdliner
>= "0.9.6" & < "1.1.0" - camlp5
-
coq
>= "8.7.1+1" & < "8.8" -
ocaml
>= "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page