polymake: use openjdk8

This commit is contained in:
Gabriel Ebner 2020-09-19 14:39:11 +02:00
parent 9426f615ab
commit 9a2d749b41

View file

@ -22670,7 +22670,9 @@ in
pommed_light = callPackage ../os-specific/linux/pommed-light {};
polymake = callPackage ../applications/science/math/polymake { };
polymake = callPackage ../applications/science/math/polymake {
openjdk = openjdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
pond = callPackage ../applications/networking/instant-messengers/pond { };