nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-26 10:30:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

[Backport release-26.05] rocqPackages.mathcomp-experimental-reals: update dependencies (#529482)

Browse Source
This commit is contained in:
Vincent Laporte
2026-06-08 11:32:46 +00:00
committed by GitHub
parent 0e2927d5ad f156a98a5c
commit c5fa7dda01
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"