From 363fb1e2af50d2e21038b223b56ea80faaf21e96 Mon Sep 17 00:00:00 2001 From: Tad Fisher Date: Mon, 29 Jul 2019 14:44:52 -0700 Subject: [PATCH] plata-theme: 0.8.7 -> 0.8.8 --- pkgs/data/themes/plata/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/data/themes/plata/default.nix b/pkgs/data/themes/plata/default.nix index 0d87cd848f84..6ec29a02174f 100644 --- a/pkgs/data/themes/plata/default.nix +++ b/pkgs/data/themes/plata/default.nix @@ -19,13 +19,13 @@ stdenv.mkDerivation rec { pname = "plata-theme"; - version = "0.8.7"; + version = "0.8.8"; src = fetchFromGitLab { owner = "tista500"; repo = "plata-theme"; rev = version; - sha256 = "1rn51yj7f7bclvrwwqwid4z9cpap4yd0zw0xs08c36zcjmr28426"; + sha256 = "1xb28s67lnsphj97r15jxlfgydyrxdby1d2z5y3g9wniw6z19i9n"; }; preferLocalBuild = true;