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