package coq-menhirlib
A support library for verified Coq parsers produced by Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=783961f8d124449a1a335cc8e50f013f
sha512=bacc5161682130d894a6476fb79363aa73e5582543265a0c23c9a1f9d974007c04853dc8f6faa2b8bd2e82b2323b8604dcc4cb74308af667698079b394dfd492
Description
Dependencies (1)
-
coq
>= "8.7" & < "8.10~"
Dev Dependencies
None
Used by (4)
-
coq-compcert
>= "3.7~coq-platform" & != "3.7" & < "3.15" - coq-compcert-32
-
coq-compcert-64
!= "3.7" - coq-mi-cho-coq
Conflicts (2)
- coq-native
-
menhir
!= "20190626"
On This Page