Merge pull request #79541 from r-ryantm/auto-update/m4ri

m4ri: 20200115 -> 20200125
This commit is contained in:
Timo Kaufmann 2020-02-08 21:20:08 +00:00 committed by GitHub
commit 9e1ca22f66
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,14 +4,14 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "20200115"; version = "20200125";
pname = "m4ri"; pname = "m4ri";
src = fetchFromBitbucket { src = fetchFromBitbucket {
owner = "malb"; owner = "malb";
repo = "m4ri"; repo = "m4ri";
rev = "release-${version}"; rev = "release-${version}";
sha256 = "1c17casrw6dvwj067kfcgyjjajfisz56s30wjv7fwaw55mqrny19"; sha256 = "1dxgbv6zdyki3h61qlv7003wzhy6x14zmcaz9x19md1i7ng07w1k";
}; };
doCheck = true; doCheck = true;