diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-08-05 13:49:42 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-03-07 13:41:04 +0100 |
| commit | 2089bca52af722dd125e5595695207d3017c4f4d (patch) | |
| tree | 2cd0419a07510845a3ce14d77999604759cd13b1 /gnu/packages/gnome.scm | |
| parent | 7c2139005b2611aa37f77b5fe4d44f8c4931cf5a (diff) | |
| download | patches-2089bca52af722dd125e5595695207d3017c4f4d.tar patches-2089bca52af722dd125e5595695207d3017c4f4d.tar.gz | |
gnu: yelp-tools: Update to 3.28.0.
* gnu/packages/gnome.scm (yelp-tools): Update to 3.28.0.
Diffstat (limited to 'gnu/packages/gnome.scm')
| -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 4a48207f24..4c0a6da2db 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4456,7 +4456,7 @@ freedesktop.org help system specification.") (define-public yelp-tools (package (name "yelp-tools") - (version "3.18.0") + (version "3.28.0") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -4464,7 +4464,7 @@ freedesktop.org help system specification.") name "-" version ".tar.xz")) (sha256 (base32 - "0ck9f78c1xka8a823bd7w1k0gdn4k19zvaj7viy2d5r3h1gxdhf6")))) + "1b61dmlb1sd50fgq6zgnkcpx2s1py33q0x9cx67fzpsr4gmgxnw2")))) (build-system gnu-build-system) (native-inputs `(("pkg-config" ,pkg-config))) |