diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2018-03-22 09:54:10 +0200 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas@tuxera.com> | 2018-03-22 09:54:10 +0200 |
commit | 809b0d26bd34fcf13a35025dacf731c0a3d13292 (patch) | |
tree | 96bf2739244a52d15556e1207bdfaf93d6353bee /pkgs/desktops/gnome-3/devtools/devhelp/default.nix | |
parent | c9d3fc7cad4d243025f9a0e1b3eec9305863c06d (diff) | |
parent | f7397f21ab841955eb277919f19035cbc336e88b (diff) | |
download | nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.tar nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.tar.gz nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.tar.bz2 nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.tar.lz nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.tar.xz nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.tar.zst nixlib-809b0d26bd34fcf13a35025dacf731c0a3d13292.zip |
Merge remote-tracking branch 'upstream/master' into staging
Diffstat (limited to 'pkgs/desktops/gnome-3/devtools/devhelp/default.nix')
-rw-r--r-- | pkgs/desktops/gnome-3/devtools/devhelp/default.nix | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/pkgs/desktops/gnome-3/devtools/devhelp/default.nix b/pkgs/desktops/gnome-3/devtools/devhelp/default.nix index 321e887cba6d..786eece7194a 100644 --- a/pkgs/desktops/gnome-3/devtools/devhelp/default.nix +++ b/pkgs/desktops/gnome-3/devtools/devhelp/default.nix @@ -1,30 +1,34 @@ { stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook -, webkitgtk, intltool, gsettings-desktop-schemas }: +, glib, appstream-glib, gobjectIntrospection +, webkitgtk, gettext, itstool, gsettings-desktop-schemas }: stdenv.mkDerivation rec { name = "devhelp-${version}"; - version = "3.26.1"; + version = "3.28.0"; src = fetchurl { url = "mirror://gnome/sources/devhelp/${gnome3.versionBranch version}/${name}.tar.xz"; - sha256 = "10bd468ae2188abd98af9ba7b81aced337d2206e9d843eb44520be5b00d77d8e"; + sha256 = "1b4l71775p3mps1jsv7pz26v0lhd0qczsp6qr1dwv7hyslmpb5qn"; }; - passthru = { - updateScript = gnome3.updateScript { packageName = "devhelp"; attrPath = "gnome3.devhelp"; }; - }; - - nativeBuildInputs = [ pkgconfig ]; + nativeBuildInputs = [ pkgconfig gettext itstool wrapGAppsHook appstream-glib gobjectIntrospection ]; buildInputs = [ - gtk3 wrapGAppsHook webkitgtk intltool gnome3.defaultIconTheme - gsettings-desktop-schemas + glib gtk3 webkitgtk + gnome3.defaultIconTheme gsettings-desktop-schemas ]; + passthru = { + updateScript = gnome3.updateScript { + packageName = "devhelp"; + attrPath = "gnome3.devhelp"; + }; + }; + meta = with stdenv.lib; { - homepage = https://live.gnome.org/devhelp; description = "API documentation browser for GNOME"; - maintainers = gnome3.maintainers; + homepage = https://wiki.gnome.org/Apps/Devhelp; license = licenses.gpl2; + maintainers = gnome3.maintainers; platforms = platforms.linux; }; } |