Merge pull request #32968 from romildo/upd.tint2

tint2: 15.3 -> 16.0
This commit is contained in:
Joachim F 2017-12-23 15:04:49 +00:00 committed by GitHub
commit 2f0b642d35
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.3"; version = "16.0";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "o9000"; owner = "o9000";
repo = "tint2"; repo = "tint2";
rev = version; rev = version;
sha256 = "1d83ppwckc2yix1grw8w31rlkyz6naa40pd3dg7n6nidx00zwn91"; sha256 = "04h32f9yybxb2v6bwmlyjzr8gg8jv4iidhpwaq3zhg44iz2b75j0";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;