gnu: devhelp: Update to 3.28.1.

* gnu/packages/gnome.scm (devhelp): Update to 3.28.1.
[native-inputs]: Add itstool.
master
Ricardo Wurmus 2018-08-06 15:44:18 +02:00
parent 8c0fab36d8
commit 5dd12afcfb
No known key found for this signature in database
GPG Key ID: 197A5888235FACAC
1 changed files with 3 additions and 2 deletions

View File

@ -3303,7 +3303,7 @@ which are easy to play with the aid of a mouse.")
(define-public devhelp (define-public devhelp
(package (package
(name "devhelp") (name "devhelp")
(version "3.26.0") (version "3.28.1")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnome/sources/" name "/" (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")) name "-" version ".tar.xz"))
(sha256 (sha256
(base32 (base32
"0f4fmkqzn95zmc2paljma33fkj74qj1m6n23qrc5hfwmgx7p3wkb")))) "08a8xizjqz68k30zd37r7g516azhan9bbrjsvv10hjd5dg3f476s"))))
(build-system glib-or-gtk-build-system) (build-system glib-or-gtk-build-system)
(native-inputs (native-inputs
`(("intltool" ,intltool) `(("intltool" ,intltool)
("itstool" ,itstool)
("pkg-config" ,pkg-config))) ("pkg-config" ,pkg-config)))
(inputs (inputs
`(("gsettings-desktop-schemas" ,gsettings-desktop-schemas) `(("gsettings-desktop-schemas" ,gsettings-desktop-schemas)