Merge pull request #262841 from wegank/zulu-default

zulu: default to zulu21
This commit is contained in:
Weijia Wang 2023-10-23 17:59:35 +02:00 committed by GitHub
commit c39de4d5e4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17499,7 +17499,7 @@ with pkgs;
zulu11 = callPackage ../development/compilers/zulu/11.nix { };
zulu17 = callPackage ../development/compilers/zulu/17.nix { };
zulu21 = callPackage ../development/compilers/zulu/21.nix { };
zulu = zulu11;
zulu = zulu21;
### DEVELOPMENT / INTERPRETERS
@ -17714,7 +17714,9 @@ with pkgs;
joker = callPackage ../development/interpreters/joker { };
davmail = callPackage ../applications/networking/davmail { };
davmail = callPackage ../applications/networking/davmail {
zulu = zulu11;
};
kamilalisp = callPackage ../development/interpreters/kamilalisp { };