From 5d97d3db9471c2864e7d7f3a73baa0e46e1b7297 Mon Sep 17 00:00:00 2001 From: coqelpibot Date: Thu, 11 Jan 2024 11:10:06 +0000 Subject: [PATCH 1/3] Package coq-hierarchy-builder.1.7.0 --- .../coq-hierarchy-builder.1.7.0/opam | 32 +++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam new file mode 100644 index 000000000..3b4b054a0 --- /dev/null +++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.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" {(>= "2.0") | = "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.7.0/hierarchy-builder-1.7.0.tar.gz" + checksum: [ + "md5=b4a16a98c2d85ae432d5e3401df96313" + "sha512=51d3824d106c4b32c5973563675181e9f36f551125b662ea11969f32a19a18bc081e0b45e2448808c20ce746bede99726df1a92526bf555a71b59f9080a6ed90" + ] +} \ No newline at end of file From 7b3ab65c9687cd102ab07132099db967e49a7540 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Thu, 11 Jan 2024 20:46:09 +0100 Subject: [PATCH 2/3] Update released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam --- .../coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam index 3b4b054a0..d3d89f45c 100644 --- a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam +++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam @@ -13,7 +13,7 @@ tags: "logpath:HB" homepage: "https://github.com/math-comp/hierarchy-builder" bug-reports: "https://github.com/math-comp/hierarchy-builder/issues" depends: [ - "coq-elpi" {(>= "2.0") | = "dev"} + "coq-elpi" {>= "2.0"} ] conflicts: ["coq-hierarchy-builder-shim"] build: [ From bdcc168a3bae73668db9df351e1a4080520f7f12 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Thu, 11 Jan 2024 22:56:11 +0100 Subject: [PATCH 3/3] Update released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam --- .../coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam index d3d89f45c..604f29dd0 100644 --- a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam +++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam @@ -17,7 +17,7 @@ depends: [ ] conflicts: ["coq-hierarchy-builder-shim"] build: [ - [make "build"] + [make "-j%{jobs}%" "build"] [make "test-suite"] {with-test} ] install: [make "install"]