Merge pull request #34954 from jonafato/geary-0.12.1

gnome3.geary: 0.12.0 -> 0.12.1
This commit is contained in:
Jan Tojnar 2018-02-16 12:29:59 +01:00 committed by GitHub
commit d59e9e2fc7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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 ];