package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
V8.9.1.tar.gz
sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea
md5=b0e47c588ca498073ad35eb5627a8852
Description
Published: 20 May 2019
Dependencies (5)
-
conf-findutils
build - num
-
camlp5
< "8" -
ocamlfind
build -
ocaml
>= "4.02.3" & < "4.10"
Dev Dependencies
None
Used by (4)
-
coq-serapi
>= "8.9.0+0.6.0" & < "8.10.0+0.7.0" -
coqide
= "8.9.1" -
why
= "2.32" | = "2.34" -
why3-coq
>= "1.2.0" & < "1.7.0"
Conflicts
None
On This Page