pmd: use openjdk8
This commit is contained in:
parent
2306062573
commit
d246881412
@ -10994,7 +10994,9 @@ in
|
|||||||
|
|
||||||
gdbgui = python3Packages.callPackage ../development/tools/misc/gdbgui { };
|
gdbgui = python3Packages.callPackage ../development/tools/misc/gdbgui { };
|
||||||
|
|
||||||
pmd = callPackage ../development/tools/analysis/pmd { };
|
pmd = callPackage ../development/tools/analysis/pmd {
|
||||||
|
openjdk = openjdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
|
||||||
|
};
|
||||||
|
|
||||||
pmdk = callPackage ../development/libraries/pmdk { };
|
pmdk = callPackage ../development/libraries/pmdk { };
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user