Merge #27076: mariadb: fix URL for source tarball

Not even all their mirrors serve our version, unfortunately.
This commit is contained in:
Vladimír Čunát 2017-07-03 08:42:09 +02:00
commit cc83f35118
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -18,8 +18,9 @@ common = rec { # attributes common to both builds
version = "10.1.21";
src = fetchurl {
url = "https://downloads.mariadb.org/interstitial/mariadb-${version}/source/mariadb-${version}.tar.gz";
url = "https://downloads.mariadb.org/f/mariadb-${version}/source/mariadb-${version}.tar.gz/from/http%3A//ftp.hosteurope.de/mirror/archive.mariadb.org/?serve";
sha256 = "144lcm5awcf0k6a7saqfr4p2kg8r5wbdhdm4cmn2m8hyg1an70as";
name = "mariadb-${version}.tar.gz";
};
prePatch = ''