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