Merge pull request #65579 from tadfisher/plata-theme

plata-theme: 0.8.7 -> 0.8.8
This commit is contained in:
worldofpeace 2019-07-31 01:48:40 -04:00 committed by GitHub
commit 76f4626e80
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,13 +19,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "plata-theme"; pname = "plata-theme";
version = "0.8.7"; version = "0.8.8";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "tista500"; owner = "tista500";
repo = "plata-theme"; repo = "plata-theme";
rev = version; rev = version;
sha256 = "1rn51yj7f7bclvrwwqwid4z9cpap4yd0zw0xs08c36zcjmr28426"; sha256 = "1xb28s67lnsphj97r15jxlfgydyrxdby1d2z5y3g9wniw6z19i9n";
}; };
preferLocalBuild = true; preferLocalBuild = true;