Mariadb: Fix URL for source tarball.

mariadb.org appears to have changed their URL schemes, and the tarball URL used
by this derivation no longer works, which makes this unbuildable from scratch.

This change updates that URL to a mariadb.org location that will still serve
this tarball.

Hash is unchanged.
This commit is contained in:
Sebastian Hagen 2017-07-03 02:53:13 +01:00
parent c5e314dabe
commit cb9fe8cead

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 = ''