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