Merge pull request #66952 from tadfisher/plata-theme

plata-theme: 0.8.8 -> 0.8.9
This commit is contained in:
worldofpeace 2019-08-20 00:48:56 -04:00 committed by GitHub
commit d7a6f57e22
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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