coq-hol-light.2.0.0: fix dependency

coq · Jan 20, 2025 · 49e3333 · 49e3333
1 parent 62f03a7
commit 49e3333
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-hol-light/coq-hol-light.2.0.0/opam b/released/packages/coq-hol-light/coq-hol-light.2.0.0/opam
@@ -13,7 +13,7 @@ authors: ["Frédéric Blanqui"]
 license: "CeCILL-2.1"
 depends: [
   "coq" {>= "8.19"}
-  "coq-hol-light-real" {>= "1.0"}
+  "coq-hol-light-real-with-nat" {>= "1.0"}
   "coq-fourcolor-reals" {>= "1.4.0"}
 ]
 build: [make "-j%{jobs}%"]