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-experimental-reals: update dependencies

Browse source 
(cherry picked from commit a61e394343)
This commit is contained in:
Reynald Affeldt 2026-06-08 15:14:00 +09:00 • committed by github-actions[bot]
commit f156a98a5c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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