package coq-menhirlib
A support library for verified Coq parsers produced by Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=677f1997fb73177d5a00fa1b8d61c3ef
sha512=ea8a9a6d773529cf6ac05e4c6c4532770fbb8e574c9b646efcefe90d9f24544741e3e8cfd94c8afea0447e34059a8c79c2829b46764ce3a3d6dcb3e7f75980fc
Description
Dependencies (1)
-
coq
>= "8.7" & < "8.12"
Dev Dependencies
None
Used by (4)
-
coq-compcert
>= "3.7~coq-platform" & != "3.7" & < "3.15" - coq-compcert-32
-
coq-compcert-64
!= "3.7" - coq-mi-cho-coq
Conflicts (2)
- coq-native
-
menhir
!= "20190924"
On This Page