diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-08-06 15:44:18 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-03-07 13:42:29 +0100 |
| commit | 5dd12afcfb3509809ed611216a057edc90a5756e (patch) | |
| tree | 9d1e7f10337b4f7e3ce2c5fd6a4cc0557fc2f859 | |
| parent | 8c0fab36d82bf6c82f54cc20dd53de75b25d2b56 (diff) | |
| download | patches-5dd12afcfb3509809ed611216a057edc90a5756e.tar patches-5dd12afcfb3509809ed611216a057edc90a5756e.tar.gz | |
gnu: devhelp: Update to 3.28.1.
* gnu/packages/gnome.scm (devhelp): Update to 3.28.1.
[native-inputs]: Add itstool.
| -rw-r--r-- | gnu/packages/gnome.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 6ddc07667d..ff6b17f365 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -3303,7 +3303,7 @@ which are easy to play with the aid of a mouse.") (define-public devhelp (package (name "devhelp") - (version "3.26.0") + (version "3.28.1") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -3311,10 +3311,11 @@ which are easy to play with the aid of a mouse.") name "-" version ".tar.xz")) (sha256 (base32 - "0f4fmkqzn95zmc2paljma33fkj74qj1m6n23qrc5hfwmgx7p3wkb")))) + "08a8xizjqz68k30zd37r7g516azhan9bbrjsvv10hjd5dg3f476s")))) (build-system glib-or-gtk-build-system) (native-inputs `(("intltool" ,intltool) + ("itstool" ,itstool) ("pkg-config" ,pkg-config))) (inputs `(("gsettings-desktop-schemas" ,gsettings-desktop-schemas) |