mysql-workbench: Update to version 8.0.15

This commit is contained in:
Richard Kuhnt 2019-02-01 11:00:35 +00:00
parent 9976655fd7
commit 6abaaeb541

View File

@ -1,12 +1,12 @@
{ {
"version": "8.0.14", "version": "8.0.15",
"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.14-winx64.msi", "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.15-winx64.msi",
"extract_dir": "MySQL\\MySQL Workbench 8.0 CE", "extract_dir": "MySQL\\MySQL Workbench 8.0 CE",
"hash": "md5:1ac7ceb2e8c61ddf2ea693f96b33d448" "hash": "md5:f13e016029846679a54e0ed902886985"
} }
}, },
"checkver": "MySQL Workbench (?<version>(?<short>[\\d]+.[\\d]+).[\\d]+)", "checkver": "MySQL Workbench (?<version>(?<short>[\\d]+.[\\d]+).[\\d]+)",