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