From 992c3f53165b81cb0c9f32deb9fe01e2b3deb6fb Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Sat, 25 Sep 2021 16:40:22 +0200
Subject: [PATCH] Update coq-hierarchy-builder-shim.opam

---
 coq-hierarchy-builder-shim.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-hierarchy-builder-shim.opam b/coq-hierarchy-builder-shim.opam
index ebfa83002..9a190e591 100644
--- a/coq-hierarchy-builder-shim.opam
+++ b/coq-hierarchy-builder-shim.opam
@@ -11,7 +11,7 @@ dev-repo: "git+https://github.com/math-comp/hierarchy-builder"
 build: [ make "-C" "shim" "build" ]
 install: [ make "-C" "shim" "install" ]
 conflicts: [ "coq-hierarchy-builder" ]
-depends: [ "coq" ]
+depends: [ "coq" {>= "8.10"} ]
 synopsis: "Shim package for HB"
 description: """
 This package provide the support constants one can use to compile files