dev-db/mysql-workbench: Update SRC_URI to match dev-db/mysql
authorMichał Górny <mgorny@gentoo.org>
Mon, 30 Sep 2019 07:15:37 +0000 (09:15 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 17 Jan 2020 08:44:13 +0000 (09:44 +0100)
Replace use of mirror://mysql with HTTPS CDN URI as used by dev-db/mysql
itself.  This removes the last use of mirror://mysql.

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-db/mysql-workbench/mysql-workbench-8.0.16.ebuild
dev-db/mysql-workbench/mysql-workbench-8.0.17.ebuild
dev-db/mysql-workbench/mysql-workbench-8.0.18.ebuild

index fefdda53c4cdeb0740224e8ea642724c303cbc56..93594d5f361b237d3149ae553ca51f80b5d42d28 100644 (file)
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
@@ -15,7 +15,8 @@ MY_P="${PN}-community-${PV}-src"
 
 DESCRIPTION="MySQL Workbench"
 HOMEPAGE="https://www.mysql.com/products/workbench/"
-SRC_URI="mirror://mysql/Downloads/MySQLGUITools/${MY_P}.tar.gz https://www.antlr.org/download/antlr-${ANTLR_VERSION}-complete.jar"
+SRC_URI="https://cdn.mysql.com/Downloads/MySQLGUITools/${MY_P}.tar.gz
+       https://www.antlr.org/download/antlr-${ANTLR_VERSION}-complete.jar"
 
 LICENSE="GPL-2"
 SLOT="0"
index 10955e2f43b5f7ff29248bc6d140e4207a3cff2b..a6b3052b682bb4123ce2c606f6b2d85a6de4472a 100644 (file)
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
@@ -15,7 +15,8 @@ MY_P="${PN}-community-${PV}-src"
 
 DESCRIPTION="MySQL Workbench"
 HOMEPAGE="https://www.mysql.com/products/workbench/"
-SRC_URI="mirror://mysql/Downloads/MySQLGUITools/${MY_P}.tar.gz https://www.antlr.org/download/antlr-${ANTLR_VERSION}-complete.jar"
+SRC_URI="https://cdn.mysql.com/Downloads/MySQLGUITools/${MY_P}.tar.gz
+       https://www.antlr.org/download/antlr-${ANTLR_VERSION}-complete.jar"
 
 LICENSE="GPL-2"
 SLOT="0"
index 75561cb1b2c85af4e2e6c689cce21fa154b3d7b7..faddecba8cf4ce3d91c6e30a5d1550b945b21a72 100644 (file)
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
@@ -15,7 +15,8 @@ MY_P="${PN}-community-${PV}-src"
 
 DESCRIPTION="MySQL Workbench"
 HOMEPAGE="https://www.mysql.com/products/workbench/"
-SRC_URI="mirror://mysql/Downloads/MySQLGUITools/${MY_P}.tar.gz https://www.antlr.org/download/antlr-${ANTLR_VERSION}-complete.jar"
+SRC_URI="https://cdn.mysql.com/Downloads/MySQLGUITools/${MY_P}.tar.gz
+       https://www.antlr.org/download/antlr-${ANTLR_VERSION}-complete.jar"
 
 LICENSE="GPL-2"
 SLOT="0"