gnome3.geary: 0.12.0 -> 0.12.1

Geary has a new release including several bug fixes and translations.
See the changelog [1] for the full list of improvements.

[1] 1875614476/debian/changelog (L1-L19)
This commit is contained in:
Jon Banafato 2018-02-14 01:28:14 -05:00
parent ce838e52b9
commit 90f7a11d44

View File

@ -8,11 +8,11 @@ let
majorVersion = "0.12"; majorVersion = "0.12";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "geary-${majorVersion}.0"; name = "geary-${majorVersion}.1";
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/geary/${majorVersion}/${name}.tar.xz"; url = "mirror://gnome/sources/geary/${majorVersion}/${name}.tar.xz";
sha256 = "0ii4qaqfqx90kvqwg0g9jahygkir4mb03ja55fa55yyx6cq0kwff"; sha256 = "12hbpd5j3rb122nrsqmgsg31x82xl0ksm0nmsl614v1dd7crqnh6";
}; };
propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ]; propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ];