package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
V8.9.0.tar.gz
sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0
md5=490c89609c1271fe7f20e6ea1bd107b5
Description
Published: 27 Jan 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.0" -
why
= "2.32" | = "2.34" -
why3-coq
>= "1.2.0" & < "1.7.0"
Conflicts
None
On This Page