mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 08:13:04 +00:00
mozart2: use jre8_headless
This commit is contained in:
parent
a1d10379b5
commit
230bdb0c7d
@ -9502,6 +9502,7 @@ in
|
||||
|
||||
mozart2 = callPackage ../development/compilers/mozart {
|
||||
emacs = emacs-nox;
|
||||
jre_headless = jre8_headless; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
|
||||
};
|
||||
|
||||
mozart2-binary = callPackage ../development/compilers/mozart/binary.nix { };
|
||||
|
Loading…
Reference in New Issue
Block a user