mysql57: 5.7.17 -> 5.7.19

This commit is contained in:
Franz Pletz 2017-08-01 09:22:00 +02:00
parent 4b5ae11f66
commit 3621bc76fd
No known key found for this signature in database
GPG Key ID: 846FDED7792617B4
1 changed files with 2 additions and 2 deletions

View File

@ -5,11 +5,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "mysql-${version}"; name = "mysql-${version}";
version = "5.7.17"; version = "5.7.19";
src = fetchurl { src = fetchurl {
url = "mirror://mysql/MySQL-5.7/${name}.tar.gz"; url = "mirror://mysql/MySQL-5.7/${name}.tar.gz";
sha256 = "0lcn9cm36n14g22bcppq5vf4nxbrl3khvlsp9hsixqdfb3l27gyf"; sha256 = "1c8y54yk756179nx4dgg79dijmjdq5n8l057cnqsg70pjdpyfl9y";
}; };
preConfigure = stdenv.lib.optional stdenv.isDarwin '' preConfigure = stdenv.lib.optional stdenv.isDarwin ''