dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #313929 from wegank/mysql-workbench-jre

Browse Source 
mysql-workbench: use latest jre
This commit is contained in:
Weijia Wang 2024-05-24 11:27:17 +02:00 committed by GitHub
commit c9102f72fb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/top-level/all-packages.nix
View File

@ -39826,7 +39826,6 @@ with pkgs;
};
mysql = mysql;
pcre = pcre-cpp;
jre = openjdk19; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
});
r128gain = callPackage ../applications/audio/r128gain { };