Merge pull request #18882 from NeQuissimus/mariadb_10_1_17

mariadb: 10.1.16 -> 10.1.17
This commit is contained in:
Graham Christensen 2016-09-23 17:58:19 -04:00 committed by GitHub
commit 785e416188

@ -15,11 +15,11 @@ mariadb = everything // {
};
common = rec { # attributes common to both builds
version = "10.1.16";
version = "10.1.17";
src = fetchurl {
url = "https://downloads.mariadb.org/interstitial/mariadb-${version}/source/mariadb-${version}.tar.gz";
sha256 = "14s3wq1c25n62n75hkixl8n7cni4m73w055nsx4czm655k33bjv7";
sha256 = "1ddalhxxcn95qp5b50z213niylcd0s6bqphid0c7c624wg2mm92c";
};
prePatch = ''