From 848ea5a61faaec553ac009a3696974f1abf22553 Mon Sep 17 00:00:00 2001 From: coqelpibot Date: Wed, 20 Sep 2023 14:29:38 +0000 Subject: [PATCH] 2 packages from math-comp/hierarchy-builder at 1.6.0 --- .../coq-hierarchy-builder-shim.1.6.0/opam | 26 +++++++++++++++ .../coq-hierarchy-builder.1.6.0/opam | 32 +++++++++++++++++++ 2 files changed, 58 insertions(+) create mode 100644 released/packages/coq-hierarchy-builder-shim/coq-hierarchy-builder-shim.1.6.0/opam create mode 100644 released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.6.0/opam diff --git a/released/packages/coq-hierarchy-builder-shim/coq-hierarchy-builder-shim.1.6.0/opam b/released/packages/coq-hierarchy-builder-shim/coq-hierarchy-builder-shim.1.6.0/opam new file mode 100644 index 000000000..bb1d56b31 --- /dev/null +++ b/released/packages/coq-hierarchy-builder-shim/coq-hierarchy-builder-shim.1.6.0/opam @@ -0,0 +1,26 @@ +opam-version: "2.0" +synopsis: "Shim package for HB" +description: """\ +This package provide the support constants one can use to compile files +generated by HB.""" +maintainer: "Enrico Tassi " +authors: ["Cyril Cohen" "Kazuhiko Sakaguchi" "Enrico Tassi"] +license: "MIT" +tags: "logpath:HB" +homepage: "https://github.com/math-comp/hierarchy-builder" +bug-reports: "https://github.com/math-comp/hierarchy-builder/issues" +depends: [ + "coq-elpi" {(>= "1.14" & < "1.17~") | = "dev"} +] +conflicts: ["coq-hierarchy-builder"] +build: [make "-C" "shim" "build"] +install: [make "-C" "shim" "install"] +dev-repo: "git+https://github.com/math-comp/hierarchy-builder" +url { + src: + "https://github.com/math-comp/hierarchy-builder/releases/download/v1.6.0/hierarchy-builder-1.6.0.tar.gz" + checksum: [ + "md5=9619d2971cc8b47b9ea6ce4b5a927dae" + "sha512=7c43547c79c921366ac688ce1cad1b09aadd141ff79df0d1a972be1c6a3ba52b8ead67f90b228c47b5b92be16d0f4d1485cc6362b4d4ad4319eda56a4893e2ab" + ] +} \ No newline at end of file diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.6.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.6.0/opam new file mode 100644 index 000000000..9085432b7 --- /dev/null +++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.6.0/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +synopsis: + "High level commands to declare and evolve a hierarchy based on packed classes" +description: """\ +Hierarchy Builder is a high level language to build hierarchies of algebraic structures and make these +hierarchies evolve without breaking user code. The key concepts are the ones of factory, builder +and abbreviation that let the hierarchy developer describe an actual interface for their library. +Behind that interface the developer can provide appropriate code to ensure retro compatibility.""" +maintainer: "Enrico Tassi " +authors: ["Cyril Cohen" "Kazuhiko Sakaguchi" "Enrico Tassi"] +license: "MIT" +tags: "logpath:HB" +homepage: "https://github.com/math-comp/hierarchy-builder" +bug-reports: "https://github.com/math-comp/hierarchy-builder/issues" +depends: [ + "coq-elpi" {(>= "1.16" & < "1.20~") | = "dev"} +] +conflicts: ["coq-hierarchy-builder-shim"] +build: [ + [make "build"] + [make "test-suite"] {with-test} +] +install: [make "install"] +dev-repo: "git+https://github.com/math-comp/hierarchy-builder" +url { + src: + "https://github.com/math-comp/hierarchy-builder/releases/download/v1.6.0/hierarchy-builder-1.6.0.tar.gz" + checksum: [ + "md5=9619d2971cc8b47b9ea6ce4b5a927dae" + "sha512=7c43547c79c921366ac688ce1cad1b09aadd141ff79df0d1a972be1c6a3ba52b8ead67f90b228c47b5b92be16d0f4d1485cc6362b4d4ad4319eda56a4893e2ab" + ] +} \ No newline at end of file