Merge pull request #3273 from palmskog/pcm-hb-1.8-dev

coq-fcsl-pcm.dev depends on coq-hierarchy-builder
coq · Dec 22, 2024 · 105ef1f · 105ef1f
2 parents 593a060 + 2e4d420
commit 105ef1f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam
@@ -11,6 +11,7 @@ install: [ make "install" ]
 depends: [
   "coq" {>= "8.19"}
   "coq-mathcomp-ssreflect" {>= "2.2.0"}
+  "coq-hierarchy-builder" {>= "1.7.0"}
   "coq-mathcomp-algebra"
 ]
 tags: [