Merge pull request #84165 from feijoas/flat-remix-icon-theme

flat-remix-icon-theme: 20191122 -> 20200116
This commit is contained in:
José Romildo Malaquias 2020-04-03 09:29:36 -03:00 committed by GitHub
commit c4b4a14e39
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "flat-remix-icon-theme"; pname = "flat-remix-icon-theme";
version = "20191122"; version = "20200116";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "daniruiz"; owner = "daniruiz";
repo = "flat-remix"; repo = "flat-remix";
rev = version; rev = version;
sha256 = "1rv35r52l7xxjpajwli0md07k3xl7xplbw919vjmsb1hhrzavzzg"; sha256 = "14n5wydhd5ifmsbj770s2qg2ksd3xa3m61qxydid6jq39k0lxbd8";
}; };
nativeBuildInputs = [ gtk3 ]; nativeBuildInputs = [ gtk3 ];
@ -32,4 +32,3 @@ stdenv.mkDerivation rec {
maintainers = with maintainers; [ mschneider ]; maintainers = with maintainers; [ mschneider ];
}; };
} }