Merge pull request #99311 from romildo/upd.flat-remix-icon-theme

flat-remix-icon-theme: 20200116 -> 20200710
This commit is contained in:
José Romildo Malaquias 2020-10-07 18:50:30 -03:00 committed by GitHub
commit b2b64e4a44
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "flat-remix-icon-theme";
version = "20200116";
version = "20200710";
src = fetchFromGitHub {
owner = "daniruiz";
repo = "flat-remix";
rev = version;
sha256 = "14n5wydhd5ifmsbj770s2qg2ksd3xa3m61qxydid6jq39k0lxbd8";
sha256 = "0rlrmgimvs9rrj64g5jn04jgyi7wmn2dnsk7ckmxk6p8cdfjd0hx";
};
nativeBuildInputs = [