Merge pull request #270 from math-comp/fix-opam

Update coq-hierarchy-builder-shim.opam
math-comp · Dec 15, 2021 · 14dfa74 · 14dfa74
2 parents a06930d + 992c3f5
commit 14dfa74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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