mysql-workbench: switch from mysql57 to mysql80

This commit is contained in:
Yorick van Pelt 2022-10-11 18:29:53 +02:00
parent 7218edb94a
commit 0edf1ffc3f
No known key found for this signature in database
GPG Key ID: A36E70F9DC014A15
2 changed files with 3 additions and 1 deletions

View File

@ -39,6 +39,7 @@
, dbus
, bash
, coreutils
, zstd
}:
let
@ -129,6 +130,7 @@ in stdenv.mkDerivation rec {
libepoxy
at-spi2-core
dbus
zstd
];
postPatch = ''

View File

@ -36493,7 +36493,7 @@ with pkgs;
mnemonicode = callPackage ../misc/mnemonicode { };
mysql-workbench = callPackage ../applications/misc/mysql-workbench (let mysql = mysql57; in {
mysql-workbench = callPackage ../applications/misc/mysql-workbench (let mysql = mysql80; in {
gdal = gdal.override {
libmysqlclient = mysql // {
lib = { dev = mysql; }