Merge pull request #45688 from worldofpeace/granite/5.1.0

granite: 5.0 -> 5.1.0
This commit is contained in:
Jan Tojnar
2018-08-28 02:08:54 +02:00
committed by GitHub
@@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "granite-${version}"; name = "granite-${version}";
version = "5.0"; version = "5.1.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "elementary"; owner = "elementary";
repo = "granite"; repo = "granite";
rev = version; rev = version;
sha256 = "015hkclcxirssg7a8s6mkns5xdk77m1jnkshlyfdw041nzyc5jh1"; sha256 = "1v1yhz6rp616xi417m9r8072s6mpz5i8vkdyj264b73p0lgjwh40";
}; };
cmakeFlags = [ cmakeFlags = [