Merge pull request #51910 from etu/update-topicons

gnomeExtensions.topicons-plus: 21 -> 22
This commit is contained in:
Tor Hedin Brønner 2018-12-13 09:50:04 +01:00 committed by GitHub
commit 4a8e6b5884
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "gnome-shell-extension-topicons-plus-${version}";
version = "21";
version = "22";
src = fetchFromGitHub {
owner = "phocean";
repo = "TopIcons-plus";
rev = "v${version}";
sha256 = "15p61krd7lcmgr1d4s2ydfjy3pyq79pq5100xzy6dln1538901m3";
sha256 = "196s1gdir52gbc444pzrb5l7gn5xr5vqk5ajqaiqryqlmp3i8vil";
};
buildInputs = [ glib ];