summaryrefslogtreecommitdiff
path: root/gnu/packages/gnome.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-08-06 15:44:18 +0200
committerRicardo Wurmus <rekado@elephly.net>2019-03-07 13:42:29 +0100
commit5dd12afcfb3509809ed611216a057edc90a5756e (patch)
tree9d1e7f10337b4f7e3ce2c5fd6a4cc0557fc2f859 /gnu/packages/gnome.scm
parent8c0fab36d82bf6c82f54cc20dd53de75b25d2b56 (diff)
downloadpatches-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.
Diffstat (limited to 'gnu/packages/gnome.scm')
-rw-r--r--gnu/packages/gnome.scm5
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)