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