gnome3.yelp-tools: 3.28.0 -> 3.32.0

This commit is contained in:
Tor Hedin Brønner 2019-03-03 19:32:55 +01:00 committed by Jan Tojnar
parent b6183023e3
commit 67708fc457
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "yelp-tools-${version}"; name = "yelp-tools-${version}";
version = "3.28.0"; version = "3.32.0";
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/yelp-tools/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz"; url = "mirror://gnome/sources/yelp-tools/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz";
sha256 = "1b61dmlb1sd50fgq6zgnkcpx2s1py33q0x9cx67fzpsr4gmgxnw2"; sha256 = "037fd6xpy3zab7j5p7c0vfc6c3nk6qs0prvz1hbilzc31p8l1pdz";
}; };
passthru = { passthru = {