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

rocqPackages.mathcomp-experimental-reals: update dependencies (#529413)

Browse Source
This commit is contained in:
Vincent Laporte
2026-06-08 11:04:06 +00:00
committed by GitHub
parent 03485a7aea a61e394343
commit ba00465364
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/rocq-modules/mathcomp-analysis/default.nix
+1 -1
View File
@@ -38,8 +38,8 @@ let
packages = {
"classical" = [ ];
"reals" = [ "classical" ];
"experimental-reals" = [ "reals" ];
"analysis" = [ "reals" ];
"experimental-reals" = [ "analysis" ];
"reals-stdlib" = [ "reals" ];
"analysis-stdlib" = [
"analysis"