diff options
| author | 宋文武 <iyzsong@gmail.com> | 2016-04-07 09:03:31 +0800 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-04-16 11:46:50 +0200 |
| commit | da91424853a4aecc44e2b3885e5de0cfc8441c22 (patch) | |
| tree | 4bff9add2d4798c74af3da1b697f573e72160426 /gnu | |
| parent | f97382a7d6f3e10f7827a4c4adf3a4b2810baac3 (diff) | |
| download | patches-da91424853a4aecc44e2b3885e5de0cfc8441c22.tar patches-da91424853a4aecc44e2b3885e5de0cfc8441c22.tar.gz | |
gnu: devhelp: Update to 3.20.0.
* gnu/packages/gnome.scm (devhelp): Update to 3.20.0.
Diffstat (limited to 'gnu')
| -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 8882174d65..f1beaeafec 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -2668,7 +2668,7 @@ which are easy to play with the aid of a mouse.") (define-public devhelp (package (name "devhelp") - (version "3.18.1") + (version "3.20.0") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -2676,7 +2676,7 @@ which are easy to play with the aid of a mouse.") name "-" version ".tar.xz")) (sha256 (base32 - "1vqsqpc51cir5qf801ibh6ljlpfw0qd513l9hjcnzp4ls8m1cfih")))) + "078zr92xs5ifp862v1vdmw1j9m6gr9zk5hjbk5065vxjwb17acx2")))) (build-system glib-or-gtk-build-system) (native-inputs `(("intltool" ,intltool) |