From d517856ea1d6c71fd2f5e35e1e3ae6dcb0eb993f Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Fri, 12 Jun 2026 17:03:35 +0900
Subject: [PATCH] rocqPackages.mathcomp-analysis: update dependencies

(cherry picked from commit 8e376c4fbecc60bac12f89dbdfb8bca869bb6100)
---
 pkgs/development/coq-modules/mathcomp-analysis/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
index 0df390b8a9ee..3b366df94276 100644
--- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
@@ -84,7 +84,10 @@ let
     "classical" = [ ];
     "reals" = [ "classical" ];
     "experimental-reals" = [ "reals" ];
-    "analysis" = [ "reals" ];
+    "analysis" = [
+      "reals"
+      "real-closed"
+    ];
     "reals-stdlib" = [ "reals" ];
     "analysis-stdlib" = [
       "analysis"