From 5dc151255e3af83d6fe7ae7e33811451d021281a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 10 Aug 2020 11:34:55 +0200 Subject: [PATCH] Hierarchy Builder 0.10.0 --- .../coq-hierarchy-builder.0.10.0/opam | 21 +++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 released/packages/coq-hierarchy-builder/coq-hierarchy-builder.0.10.0/opam diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.0.10.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.0.10.0/opam new file mode 100644 index 0000000000..f76c5bf423 --- /dev/null +++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.0.10.0/opam @@ -0,0 +1,21 @@ +opam-version: "2.0" +maintainer: "Enrico Tassi " +authors: [ "Cyril Cohen" "Kazuhiko Sakaguchi" "Enrico Tassi" ] +license: "MIT" +homepage: "https://github.com/math-comp/hierarchy-builder" +bug-reports: "https://github.com/math-comp/hierarchy-builder/issues" +dev-repo: "git+https://github.com/math-comp/hierarchy-builder" + +build: [ make ] +install: [ make "install" "VFILES=structures.v" ] +depends: [ + "coq-elpi" {>= "1.5.0" & < "1.6.0~"} + ] +synopsis: "Hierarchy Builder" +description: """ +High level commands to declare and evolve a hierarchy based on packed classes. +""" +url { + src: "https://github.com/math-comp/hierarchy-builder/archive/v0.10.0.tar.gz" + checksum: "sha256=170ad371db025ddf7750235ce9cad45755482930adb751739e1bc13b4c77f858" +} \ No newline at end of file