From 2e4d42081247b31758981a5e7db2aaa11b695d7c Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 22 Dec 2024 19:29:55 +0100
Subject: [PATCH] coq-fcsl-pcm.dev depends on coq-hierarchy-builder

---
 extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam | 1 +
 1 file changed, 1 insertion(+)

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
index 9fcfce641c..556326b980 100644
--- 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: [