From 386fb53a26dad61b43d80747e753249f439dde5d Mon Sep 17 00:00:00 2001 From: worldofpeace Date: Wed, 15 May 2019 21:16:58 -0400 Subject: [PATCH] gnome3.yelp-tools: 3.32.0 -> 3.32.1 https://gitlab.gnome.org/GNOME/yelp-tools/blob/3.32.1/NEWS --- pkgs/desktops/gnome-3/core/yelp-tools/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/desktops/gnome-3/core/yelp-tools/default.nix b/pkgs/desktops/gnome-3/core/yelp-tools/default.nix index 41120a74b08..d6ed0c22e4b 100644 --- a/pkgs/desktops/gnome-3/core/yelp-tools/default.nix +++ b/pkgs/desktops/gnome-3/core/yelp-tools/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "yelp-tools-${version}"; - version = "3.32.0"; + version = "3.32.1"; src = fetchurl { url = "mirror://gnome/sources/yelp-tools/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz"; - sha256 = "037fd6xpy3zab7j5p7c0vfc6c3nk6qs0prvz1hbilzc31p8l1pdz"; + sha256 = "1qrn8ss3wc601w8j0ziicgmgic0yh01az6611n3jgd7wll9c79wr"; }; passthru = {