mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-19 04:03:21 +02:00
mercury: use openjdk8
This commit is contained in:
parent
8ca1557652
commit
3d55255bfd
|
@ -9435,7 +9435,9 @@ in
|
|||
|
||||
manticore = callPackage ../development/compilers/manticore { };
|
||||
|
||||
mercury = callPackage ../development/compilers/mercury { };
|
||||
mercury = callPackage ../development/compilers/mercury {
|
||||
jdk = openjdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
|
||||
};
|
||||
|
||||
microscheme = callPackage ../development/compilers/microscheme { };
|
||||
|
||||
|
|
Loading…
Reference in a new issue