From bbe79ca70332cf15011a7ae154e7478c1f8dcad2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Sun, 24 Nov 2024 08:52:22 +0100
Subject: [PATCH] coq-hol-light-real: update dependencies

---
 .../packages/coq-hol-light-real/coq-hol-light-real.1.0.0/opam   | 2 --
 1 file changed, 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
index 2f5bd5dc4..1b2b74dfb 100644
--- 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"]