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"