package coq-hierarchy-builder-shim
Shim package for HB
Install
Dune Dependency
Authors
Maintainers
Sources
hierarchy-builder-1.6.0.tar.gz
md5=9619d2971cc8b47b9ea6ce4b5a927dae
sha512=7c43547c79c921366ac688ce1cad1b09aadd141ff79df0d1a972be1c6a3ba52b8ead67f90b228c47b5b92be16d0f4d1485cc6362b4d4ad4319eda56a4893e2ab
Description
This package provide the support constants one can use to compile files generated by HB.
Dependencies
None
Dev Dependencies (1)
-
coq-elpi
(>= "1.14" & < "1.17~") | = "dev"
Used by
None
Conflicts (1)
On This Page