gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rocqPackages.mathcomp-analysis: update dependencies

Browse Source
This commit is contained in:
Reynald Affeldt
2026-06-12 17:03:35 +09:00
parent fbf4f17325
commit 8e376c4fbe
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/mathcomp-analysis/default.nix
+4 -1
View File
@@ -84,7 +84,10 @@ let
"classical" = [ ];
"reals" = [ "classical" ];
"experimental-reals" = [ "reals" ];
"analysis" = [ "reals" ];
"analysis" = [
"reals"
"real-closed"
];
"reals-stdlib" = [ "reals" ];
"analysis-stdlib" = [
"analysis"