Merge pull request #88949 from magnetophon/mu

This commit is contained in:
Jörg Thalheim 2020-05-26 19:58:52 +01:00 committed by GitHub
commit 84cc13177e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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