From 7c84559403ac4dd9a0dc685250d699620833a93d Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 25 Jan 2025 10:12:48 +0100
Subject: [PATCH 1/2] Update opam file

---
 coq-hierarchy-builder.opam | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

From 83273237f62695a37a0731d7f3e0cfb7db864cc7 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 25 Jan 2025 09:44:35 +0100
Subject: [PATCH 2/2] preparing changelog for 1.8.1

---
 Changelog.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Changelog.md b/Changelog.md
index beea4b5e..22dd5506 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,13 @@
 # Changelog
 
+## [1.8.1] - 2025-01-25
+
+Compatible with
+- Coq 8.18 with Coq-Elpi 2.0.0
+- Coq 8.19 with Coq-Elpi 2.0.1
+- Coq 8.20 with Coq-Elpi 2.4.x
+- Rocq 9.0 with Coq-Elpi 2.4.x
+
 ## [1.8.0] - 2024-12-14
 
 Compatible with