rocqPackages.mathcomp-analysis: update dependencies (#530989)

2026-06-15 08:41:31 +00:00
parent c8f14eb80c da9109b99c
commit a73c539886
1 changed files with 2 additions and 0 deletions
@@ -4,6 +4,7 @@
  mathcomp,
  mathcomp-finmap,
  mathcomp-bigenough,
+  mathcomp-real-closed,
  hierarchy-builder,
  stdlib,
  single ? false,
@@ -104,6 +105,7 @@ let
      analysis-deps = [
        mathcomp.field
        mathcomp-bigenough
+        mathcomp-real-closed
      ];
      intra-deps = lib.optionals (package != "single") (map mathcomp_ packages.${package});
      pkgpath = lib.switch package [