From b19450e8464a8238584fc2154c49db427214e8f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Thu, 26 Feb 2026 16:21:11 +0100
Subject: [PATCH] Try to fix CI by forcing HB version

---
 coq-platform-docs.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-platform-docs.opam b/coq-platform-docs.opam
index d429d81..65f8cbf 100644
--- a/coq-platform-docs.opam
+++ b/coq-platform-docs.opam
@@ -24,7 +24,7 @@ install: [make "install"]
 depends: [
   "coq" 
   "coq-equations" 
-  "coq-hierarchy-builder" 
+  "coq-hierarchy-builder"  {= "1.9.1" }
 ]
 
 tags: [