diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2015-12-13 13:40:30 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2015-12-13 13:40:30 +0200 |
commit | 3acae17019fdb1d4c7327acbcecebfc94c0f5d6a (patch) | |
tree | b18005b5f547e46f6b6f989ec5adb37392651a19 /gnu/packages | |
parent | bcff53e03f564d2a6b0dfb9fe1434458fa76d351 (diff) | |
download | patches-3acae17019fdb1d4c7327acbcecebfc94c0f5d6a.tar patches-3acae17019fdb1d4c7327acbcecebfc94c0f5d6a.tar.gz |
gnu: devhelp: Update to 3.18.1.
* gnu/packages/gnome.scm (devhelp): Update to 3.18.1.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/gnome.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index ea7e13be08..6e33fa9950 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -2598,7 +2598,7 @@ which are easy to play with the aid of a mouse.") (define-public devhelp (package (name "devhelp") - (version "3.16.1") + (version "3.18.1") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -2606,7 +2606,7 @@ which are easy to play with the aid of a mouse.") name "-" version ".tar.xz")) (sha256 (base32 - "0i8kyh86hzwxs8dm047ivghl2b92vigdxa3x4pk4ha0whpk38g37")))) + "1vqsqpc51cir5qf801ibh6ljlpfw0qd513l9hjcnzp4ls8m1cfih")))) (build-system glib-or-gtk-build-system) (native-inputs `(("intltool" ,intltool) |