package coq-hierarchy-builder-shim

  1. Overview
  2. No Docs
Shim package for HB

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. C
    Cyril Cohen
  2. K
    Kazuhiko Sakaguchi
  3. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

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.

Tags

logpath:HB

Published: 20 Sep 2023

Dependencies

None

Dev Dependencies (1)

  1. coq-elpi (>= "1.14" & < "1.17~") | = "dev"

Used by

None