mysql-workbench: Update to version 8.0.13

This commit is contained in:
Richard Kuhnt 2018-10-22 09:01:15 +00:00
parent 33f3b546dc
commit 50b24cd6e8

View File

@ -1,12 +1,12 @@
{ {
"version": "8.0.12", "version": "8.0.13",
"license": "GPL-2.0-only", "license": "GPL-2.0-only",
"homepage": "https://dev.mysql.com/downloads/workbench/", "homepage": "https://dev.mysql.com/downloads/workbench/",
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.12-winx64.msi", "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.13-winx64.msi",
"extract_dir": "MySQL\\MySQL Workbench 8.0 CE", "extract_dir": "MySQL\\MySQL Workbench 8.0 CE",
"hash": "md5:6403b30aa3d2142216880495b60dfa16" "hash": "md5:298f374a2a032bf5148fc4909a2dcab1"
} }
}, },
"checkver": "MySQL Workbench (?<version>(?<short>[\\d]+.[\\d]+).[\\d]+)", "checkver": "MySQL Workbench (?<version>(?<short>[\\d]+.[\\d]+).[\\d]+)",