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