Merge pull request #33216 from romildo/upd.tint2

tint2: 16.0 -> 16.1
This commit is contained in:
adisbladis 2017-12-31 01:39:04 +01:00 committed by GitHub
commit 94f6d432d1
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 = "16.0"; version = "16.1";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "o9000"; owner = "o9000";
repo = "tint2"; repo = "tint2";
rev = version; rev = version;
sha256 = "04h32f9yybxb2v6bwmlyjzr8gg8jv4iidhpwaq3zhg44iz2b75j0"; sha256 = "0qhp1i24b03g15393lf8jd2ykznh6kvwvf7k7yqdb99zv5i8r75z";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;