Merge pull request #377 from math-comp/update-opam

close changelog & update opam
math-comp · Aug 4, 2023 · c4f2361 · c4f2361
2 parents c24ca1c + 420d633
commit c4f2361
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -2,6 +2,21 @@
 
 ## UNRELEASED
 
+## [1.5.0] - 2023-08-04
+
+Compatible with
+- Coq 8.15 with Coq-Elpi 1.14.x
+- Coq 8.16 with Coq-Elpi 1.15.x and 1.16.x
+- Coq 8.17 with Coq-Elpi 1.17.x and 1.18.x
+- Coq 8.18 with Coq-Elpi 1.19.x
+This version is required if Elpi is >= 1.17.0
+
+### General
+
+- **Fix** spilling before predicate declaration
+- **Fix** unnecessary use of grafting slowing down compilation on MathComp 2.0
+- **New** better "missing join" error message
+
 ## [1.4.0] - 2022-09-29
 
 Compatible with

diff --git a/coq-hierarchy-builder.opam b/coq-hierarchy-builder.opam
@@ -12,7 +12,7 @@ build: [ [ make "build"]
          [ make "test-suite" ] {with-test}
        ]
 install: [ make "install" ]
-depends: [ "coq-elpi" { (>= "1.14" & < "1.18~") | = "dev" } ]
+depends: [ "coq-elpi" { (>= "1.14" & < "1.20~") | = "dev" } ]
 conflicts: [ "coq-hierarchy-builder-shim" ]
 synopsis: "High level commands to declare and evolve a hierarchy based on packed classes"
 description: """