Merge pull request #21795 from jonafato/geary-0.11.3

geary: 0.11.2 -> 0.11.3

Changed files
+2 -2
pkgs
desktops
gnome-3
3.22
misc
geary
+2 -2
pkgs/desktops/gnome-3/3.22/misc/geary/default.nix
···
majorVersion = "0.11";
in
stdenv.mkDerivation rec {
-
name = "geary-${majorVersion}.2";
src = fetchurl {
url = "mirror://gnome/sources/geary/${majorVersion}/${name}.tar.xz";
-
sha256 = "0ca6kdprhm8w990n6wgpvn0vzsdrnv9vjdm448pa8winspn217jw";
};
propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ];
···
majorVersion = "0.11";
in
stdenv.mkDerivation rec {
+
name = "geary-${majorVersion}.3";
src = fetchurl {
url = "mirror://gnome/sources/geary/${majorVersion}/${name}.tar.xz";
+
sha256 = "1r42ijxafach5lv8ibs6y0l5k4nacjg427dnma8fj00xr1sri7j1";
};
propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ];