Merge pull request #89670 from magnetophon/mu

mu: 1.4.7 -> 1.4.9
This commit is contained in:
Peter Hoeg 2020-06-07 09:08:36 +08:00 committed by GitHub
commit b74ad37469
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,13 +6,13 @@
stdenv.mkDerivation rec {
pname = "mu";
version = "1.4.7";
version = "1.4.9";
src = fetchFromGitHub {
owner = "djcb";
repo = "mu";
rev = version;
sha256 = "0inn720prhgxxc1napzd3xyzqgsvv70gqddsyzaa84h6946iz6v5";
sha256 = "1l8c72f3yd2vypc11frsmjnkr87h1q4gb6k3armpypwv6a6zl8z4";
};
postPatch = stdenv.lib.optionalString (batchSize != null) ''