BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

tlaplus: use jre8

Browse source
This commit is contained in:
Gabriel Ebner 2020-09-19 15:42:41 +02:00
parent 7533579fed
commit 3aab81d3d1
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View file

@ -26369,7 +26369,9 @@ in
z3 = callPackage ../applications/science/logic/z3 { python = python2; };
z3-tptp = callPackage ../applications/science/logic/z3/tptp.nix {};
tlaplus = callPackage ../applications/science/logic/tlaplus {};
tlaplus = callPackage ../applications/science/logic/tlaplus {
jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix {
inherit (ocaml-ng.ocamlPackages_4_05) ocaml;
};