From 11ec824a2a519de1a91343067d097b05fc01eb7b Mon Sep 17 00:00:00 2001 From: Richard Kuhnt Date: Tue, 11 May 2021 05:00:31 +0000 Subject: [PATCH] mysql-workbench: Update to version 8.0.25 --- bucket/mysql-workbench.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bucket/mysql-workbench.json b/bucket/mysql-workbench.json index 3863ffdc6a..af345c6096 100644 --- a/bucket/mysql-workbench.json +++ b/bucket/mysql-workbench.json @@ -1,13 +1,13 @@ { - "version": "8.0.24", + "version": "8.0.25", "description": "Integrated tools environment for database design, modeling, development, administration, and migration.", "homepage": "https://dev.mysql.com/downloads/workbench/", "license": "GPL-2.0-only", "architecture": { "64bit": { - "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.24-winx64.msi", + "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.25-winx64.msi", "extract_dir": "MySQL\\MySQL Workbench 8.0 CE", - "hash": "md5:4535827195f0e950b2f45b09adbe2e39" + "hash": "md5:4220a115ad93e4caa7e9bcbd7b08906e" } }, "bin": [