Merge pull request #77145 from dtzWill/update/heimer-1.13.1

heimer: 1.12.0 -> 1.13.1
This commit is contained in:
Will Dietz 2020-01-07 16:14:29 -06:00 committed by GitHub
commit ce4eafa2e6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
mkDerivation rec { mkDerivation rec {
pname = "heimer"; pname = "heimer";
version = "1.12.0"; version = "1.13.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "juzzlin"; owner = "juzzlin";
repo = pname; repo = pname;
rev = version; rev = version;
sha256 = "1gw4w6cvr3vb4zdb1kq8gwmadh2lb0jd0bd2hc7cw2d5kdbjaln7"; sha256 = "1s6s5rlzr917hq7370pmikbdvd6y468cyxw614ah65d4v105qfv7";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];