package coq-menhirlib
A support library for verified Coq parsers produced by Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=6e35cccd708480b5662b5d1903adf069
sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1
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
!= "20200619"
On This Page