From 90f7a11d44e1dbdc4f0500ef47e22526edbeee93 Mon Sep 17 00:00:00 2001 From: Jon Banafato Date: Wed, 14 Feb 2018 01:28:14 -0500 Subject: [PATCH] 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] https://github.com/GNOME/geary/blob/187561447603654d91c1ca6e4526eb18decb9d17/debian/changelog#L1-L19 --- pkgs/desktops/gnome-3/misc/geary/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/desktops/gnome-3/misc/geary/default.nix b/pkgs/desktops/gnome-3/misc/geary/default.nix index 6243d1b1d5f..a912fb1c98b 100644 --- a/pkgs/desktops/gnome-3/misc/geary/default.nix +++ b/pkgs/desktops/gnome-3/misc/geary/default.nix @@ -8,11 +8,11 @@ let majorVersion = "0.12"; in stdenv.mkDerivation rec { - name = "geary-${majorVersion}.0"; + name = "geary-${majorVersion}.1"; src = fetchurl { url = "mirror://gnome/sources/geary/${majorVersion}/${name}.tar.xz"; - sha256 = "0ii4qaqfqx90kvqwg0g9jahygkir4mb03ja55fa55yyx6cq0kwff"; + sha256 = "12hbpd5j3rb122nrsqmgsg31x82xl0ksm0nmsl614v1dd7crqnh6"; }; propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ];