Merge pull request #85093 from tadfisher/plata-theme

plata-theme: 0.9.3 -> 0.9.7
This commit is contained in:
Benjamin Hipple 2020-04-12 18:38:34 -04:00 committed by GitHub
commit f3bbd598da
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.9.3"; version = "0.9.7";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "tista500"; owner = "tista500";
repo = "plata-theme"; repo = "plata-theme";
rev = version; rev = version;
sha256 = "183kas7b5vxm6l2m5c4yh8cnq05sfa82afcp9h6cfj2rh2iv6kqy"; sha256 = "0rm3xl7d3082kdkbds7ib8b85wpynvpaqravpyb4r5pys0y16fws";
}; };
preferLocalBuild = true; preferLocalBuild = true;