c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-06 17:13:24 -05:00
Code Issues Projects Releases Packages Wiki Activity

rocqPackages.mathcomp-analysis: update dependencies

Browse source 
(cherry picked from commit 8e376c4fbe)
This commit is contained in:
Reynald Affeldt 2026-06-12 17:03:35 +09:00 • committed by github-actions[bot]
commit d517856ea1
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
pkgs/development/coq-modules/mathcomp-analysis/default.nix
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"