Unverified Commit fd58bd4e authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #215760 from LibreCybernetics/alloy-jre 

alloy: remove jre override
parents 135ac51f 3fcdb4fb

pkgs/top-level/all-packages.nix

+1 −3
Original line number Diff line number Diff line
@@ -16941,9 +16941,7 @@ with pkgs; 














  adtool = callPackage ../tools/admin/adtool { };



























  inherit (callPackage ../development/tools/alloy {













    jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731













  })













  inherit (callPackage ../development/tools/alloy { })















    alloy5















    alloy6















    alloy;