From c3f7cd67bde3ecdda663a60a85205bcf4be565b6 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Fri, 20 Oct 2023 16:53:50 +0900
Subject: [PATCH] avoid hb.1.6.0

---
 coq-monae.opam | 4 ++--
 meta.yml       | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq-monae.opam b/coq-monae.opam
index 3b86d8b9..6879cd5f 100644
--- a/coq-monae.opam
+++ b/coq-monae.opam
@@ -15,7 +15,7 @@ description: """
 This Coq library contains a hierarchy of monads with their laws used
 in several examples of monadic equational reasoning."""
 
-build: [make "-j%{jobs}%"]
+build: [make "-j%{jobs}%" ]
 install: [make "install_full"]
 depends: [
   "coq" { (>= "8.16" & < "8.18~") | (= "dev") }
@@ -27,7 +27,7 @@ depends: [
   "coq-mathcomp-analysis" { (>= "0.5.4") }
   "coq-infotheo" { >= "0.5.0" & < "0.6~"}
   "coq-paramcoq" { >= "1.1.3" & < "1.2~" }
-  "coq-hierarchy-builder" { >= "1.3.0" }
+  "coq-hierarchy-builder" { = "1.5.0" }
   "coq-equations" { >= "1.3" & < "1.4~" }
 ]
 
diff --git a/meta.yml b/meta.yml
index 57953c9b..82154f4d 100644
--- a/meta.yml
+++ b/meta.yml
@@ -91,7 +91,7 @@ dependencies:
     [Paramcoq](https://github.com/coq-community/paramcoq)
 - opam:
     name: coq-hierarchy-builder
-    version: '{ >= "1.3.0" }'
+    version: '{ = "1.5.0" }'
   description: |-
     [Hierarchy Builder](https://github.com/math-comp/hierarchy-builder)
 - opam: