Merge pull request #245972 from r-ryantm/auto-update/mysql-workbench

mysql-workbench: 8.0.33 -> 8.0.34
This commit is contained in:
Pol Dellaiera 2023-07-29 08:26:29 +02:00 committed by GitHub
commit 3153d4201d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -46,11 +46,11 @@ let
inherit (python3.pkgs) paramiko pycairo pyodbc;
in stdenv.mkDerivation rec {
pname = "mysql-workbench";
version = "8.0.33";
version = "8.0.34";
src = fetchurl {
url = "https://cdn.mysql.com//Downloads/MySQLGUITools/mysql-workbench-community-${version}-src.tar.gz";
sha256 = "a6c9b05ee6f8accd45203d8234a43415da65ddc8118d427dd1a2ef2a209261bc";
sha256 = "sha256-ub/D6HRtXOvX+lai71t1UjMmMzBsz5ljCrJCuf9aq7U=";
};
patches = [