Commit 3fcdb4fb authored by Fabián Heredia Montiel's avatar Fabián Heredia Montiel
Browse files

alloy: remove jre override

parent ef28602c

pkgs/top-level/all-packages.nix

+1 −3
Original line number Diff line number Diff line
@@ -16935,9 +16935,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;