Merge pull request #113583 from r-ryantm/auto-update/mu

mu: 1.4.13 -> 1.4.15
This commit is contained in:
Daniël de Kok 2021-02-18 20:09:29 +01:00 committed by GitHub
commit 1fec7209ff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -6,13 +6,13 @@
stdenv.mkDerivation rec {
pname = "mu";
version = "1.4.13";
version = "1.4.15";
src = fetchFromGitHub {
owner = "djcb";
repo = "mu";
rev = version;
sha256 = "03cp2ppj07xpb0c43d3cr8m9jps07mfm8clmlk03sjbxg1widsh0";
sha256 = "sha256-VIUA0W+AmEbvGWatv4maBGILvUTGhBgO3iQtjIc3vG8=";
};
postPatch = lib.optionalString (batchSize != null) ''