Merge pull request #55913 from r-ryantm/auto-update/arc-theme

arc-theme: 20181022 -> 20190213
This commit is contained in:
worldofpeace 2019-02-16 23:08:33 +00:00 committed by GitHub
commit 05157c290e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,19 +1,15 @@
{ stdenv, fetchFromGitHub, sassc, autoreconfHook, pkgconfig, gtk3, gnome3 { stdenv, fetchFromGitHub, sassc, autoreconfHook, pkgconfig, gtk3, gnome3
, gtk-engine-murrine, optipng, inkscape }: , gtk-engine-murrine, optipng, inkscape }:
let
pname = "arc-theme";
in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "${pname}-${version}"; pname = "arc-theme";
version = "20181022"; version = "20190213";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "NicoHood"; owner = "NicoHood";
repo = pname; repo = pname;
rev = version; rev = version;
sha256 = "08951dk1irfadwpr3p323a4fprmxg53rk2r2niwq3v62ryhi3663"; sha256 = "1qalf61xh6a8yz2a98z3ih0w9ky12v3wc61gdczbfnyfasgzc254";
}; };
nativeBuildInputs = [ nativeBuildInputs = [