mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-11 15:15:36 +00:00
Code Issues Wiki Activity

isabelle: Use openjdk17

Browse source 
This is the same openjdk version that is used in upstream isabelle.
This commit is contained in:
Jan van Brügge 2022-01-02 10:51:58 +01:00
parent b54e5a841b
commit 63e9fb0448
No known key found for this signature in database
GPG key ID: 88E0BF7B7A546481
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -31998,7 +31998,7 @@ with pkgs;
configureFlags = [ "--enable-intinf-as-int" "--with-gmp" "--disable-shared" ];
});
java = openjdk11;
java = openjdk17;
z3 = z3_4_4_0;
};