diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2015-12-13 12:16:38 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2015-12-13 12:16:38 +0200 |
| commit | 506959552ff77870b5a73069fa3577ffe1a9bcfc (patch) | |
| tree | 0d5c55412220f1dd1189e4503ec63aa8aceba3aa /gnu | |
| parent | ccdb0181c1967795c1d39560c3d0125620408442 (diff) | |
| download | patches-506959552ff77870b5a73069fa3577ffe1a9bcfc.tar patches-506959552ff77870b5a73069fa3577ffe1a9bcfc.tar.gz | |
gnu: yelp-tools: Update to 3.18.0.
* gnu/packages/gnome.scm (yelp-tools): Update to 3.18.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 47056e9187..ab8accdd89 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -3544,7 +3544,7 @@ freedesktop.org help system specification.") (define-public yelp-tools (package (name "yelp-tools") - (version "3.16.1") + (version "3.18.0") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -3552,7 +3552,7 @@ freedesktop.org help system specification.") name "-" version ".tar.xz")) (sha256 (base32 - "177qzvj5w019isdp41qxqcys2kc4sq2x6dqhqn6l9ipib8a6rxml")))) + "0ck9f78c1xka8a823bd7w1k0gdn4k19zvaj7viy2d5r3h1gxdhf6")))) (build-system gnu-build-system) (native-inputs `(("pkg-config" ,pkg-config))) |