Merge pull request #34109 from romildo/upd.tint2

tint2: 16.1 -> 16.2
This commit is contained in:
Graham Christensen 2018-01-21 13:07:17 -05:00 committed by GitHub
commit d561829115
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -6,13 +6,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "tint2-${version}"; name = "tint2-${version}";
version = "16.1"; version = "16.2";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "o9000"; owner = "o9000";
repo = "tint2"; repo = "tint2";
rev = version; rev = version;
sha256 = "0qhp1i24b03g15393lf8jd2ykznh6kvwvf7k7yqdb99zv5i8r75z"; sha256 = "1fp9kamb09qbply8jn0gqwgnv9xdds81jzpl0lkziz8dydyis4wm";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;