Merge #295327: virtualbox: pin jdk to openjdk17

This commit is contained in:
Vladimír Čunát 2024-03-12 20:22:52 +01:00
commit 0ad13a6833
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -35781,6 +35781,7 @@ with pkgs;
virtualbox = libsForQt5.callPackage ../applications/virtualization/virtualbox {
stdenv = stdenv_32bit;
inherit (gnome2) libIDL;
jdk = openjdk17;
};
virtualboxKvm = lowPrio (virtualbox.override {