Merge pull request #31446 from romildo/upd.tint2

tint2: 15.2 -> 15.3
This commit is contained in:
Orivej Desh 2017-11-09 18:18:45 +00:00 committed by GitHub
commit 6587bcb023
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 {
name = "tint2-${version}"; name = "tint2-${version}";
version = "15.2"; version = "15.3";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "o9000"; owner = "o9000";
repo = "tint2"; repo = "tint2";
rev = version; rev = version;
sha256 = "1lfk3zcgmmlby353gs70gpi0m28nx2c20wxqgaw7268a69r5cz7a"; sha256 = "1d83ppwckc2yix1grw8w31rlkyz6naa40pd3dg7n6nidx00zwn91";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;