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