coq-hol-light-real: update dependencies

coq · Nov 24, 2024 · bbe79ca · bbe79ca
1 parent 3af5f4e
commit bbe79ca
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/released/packages/coq-hol-light-real/coq-hol-light-real.1.0.0/opam b/released/packages/coq-hol-light-real/coq-hol-light-real.1.0.0/opam
@@ -13,8 +13,6 @@ authors: ["Frédéric Blanqui"]
 license: "CeCILL-2.1"
 depends: [
   "coq" {>= "8.19"}
-  "coq-mathcomp-ssreflect" {>= "2.1.0"}
-  "coq-mathcomp-algebra" {>= "2.1.0"}
 ]
 build: [make "-j%{jobs}%"]
 install: [make "install"]