From a61e3943437909831c6b081b2f2b75dea6a146f1 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Mon, 8 Jun 2026 15:14:00 +0900
Subject: [PATCH] rocqPackages.mathcomp-experimental-reals: update dependencies

---
 pkgs/development/rocq-modules/mathcomp-analysis/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/rocq-modules/mathcomp-analysis/default.nix b/pkgs/development/rocq-modules/mathcomp-analysis/default.nix
index 192af0870312..1a77e673e4f7 100644
--- a/pkgs/development/rocq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/rocq-modules/mathcomp-analysis/default.nix
@@ -38,8 +38,8 @@ let
   packages = {
     "classical" = [ ];
     "reals" = [ "classical" ];
-    "experimental-reals" = [ "reals" ];
     "analysis" = [ "reals" ];
+    "experimental-reals" = [ "analysis" ];
     "reals-stdlib" = [ "reals" ];
     "analysis-stdlib" = [
       "analysis"