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

Merge pull request #38389 from dtzWill/fix/gnumakeHEAD-remove

Browse Source 
gnumake42HEAD: remove attribute to fix eval
This commit is contained in:
Will Dietz 2018-04-03 08:06:00 -05:00 committed by GitHub
commit 08b299abea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/top-level/all-packages.nix
View File

@ -7798,7 +7798,6 @@ with pkgs;
gnumake382 = callPackage ../development/tools/build-managers/gnumake/3.82 { };
gnumake3 = gnumake382;
gnumake42 = callPackage ../development/tools/build-managers/gnumake/4.2 { };
gnumake42HEAD = lowPrio (callPackage ../development/tools/build-managers/gnumake/4.2/head.nix { });
gnumake = gnumake42;
gnustep = recurseIntoAttrs (callPackage ../desktops/gnustep {});