JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnome-shell-extensions: add 3.12.2 version

Browse Source
This commit is contained in:
Luca Bruno 2014-05-18 23:35:01 +02:00
parent a1abb9a525
commit a321e5bbba
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/desktops/gnome-3/3.12/core/gnome-shell-extensions/default.nix
View File

@ -4,11 +4,11 @@
, gnome3, file }:
stdenv.mkDerivation rec {
name = "gnome-shell-extensions-3.10.1";
name = "gnome-shell-extensions-3.12.2";
src = fetchurl {
url = "mirror://gnome/sources/gnome-shell-extensions/3.10/${name}.tar.xz";
sha256 = "9baa9ddaf4e14cab6d4d7944d8dc009378b25f995acfd0fd72843f599cb5ae43";
url = "mirror://gnome/sources/gnome-shell-extensions/3.12/${name}.tar.xz";
sha256 = "30ba6e4792062e5a5cdd18e4a12230e68bfed1ded7de433ad241dd75e7ae2fc6";
};
doCheck = true;