Merge pull request #73067 from yurkobb/fix-mu-stable

Fix mu version from unreleased to stable (revert to 1.2)
This commit is contained in:
Ryan Mulligan 2019-11-08 13:26:42 -08:00 committed by GitHub
commit 54b0476618
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,13 +5,13 @@
stdenv.mkDerivation rec {
pname = "mu";
version = "1.3.5";
version = "1.2";
src = fetchFromGitHub {
owner = "djcb";
repo = "mu";
rev = version;
sha256 = "1g7rhgp405v7q9xx44k6jn3py4v73a9qjwhai6l459wdywdz1n3n";
sha256 = "0yhjlj0z23jw3cf2wfnl98y8q6gikvmhkb8vdm87bd7jw0bdnrfz";
};
# test-utils coredumps so don't run those