gnome3.gnome-shell: 3.28.2 → 3.28.3

This commit is contained in:
Jan Tojnar 2018-07-31 23:01:40 +02:00
parent c4f1123342
commit d15f2f0e0a
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4

View file

@ -13,11 +13,11 @@ let
in stdenv.mkDerivation rec {
name = "gnome-shell-${version}";
version = "3.28.2";
version = "3.28.3";
src = fetchurl {
url = "mirror://gnome/sources/gnome-shell/${gnome3.versionBranch version}/${name}.tar.xz";
sha256 = "1b9n89ij2g5nqaqp7a13jnqcd8qa2v9p55rbi71al3xvqk091ri7";
sha256 = "0xm2a8inj2zkrpgkhy69rbqh44q62gpwm4javzbvvvgx0srza90w";
};
# Needed to find /etc/NetworkManager/VPN