diff options
| author | Kei Kebreau <kkebreau@posteo.net> | 2019-12-23 10:43:22 -0500 |
|---|---|---|
| committer | Kei Kebreau <kkebreau@posteo.net> | 2020-04-18 16:51:29 -0400 |
| commit | 8ae23a1d168be9ff22cb02cee2bb37a4cdc5e2ae (patch) | |
| tree | 00206132e75aa879bbca1ff4600cf27b3f56d955 /gnu/packages/gnome.scm | |
| parent | 857eb19088e15a674fb55dbc6a96b48dcdd35dcf (diff) | |
gnu: devhelp: Update to 3.34.0.
* gnu/packages/gnome.scm (devhelp): Update to 3.34.0.
(cherry picked from commit df8dfba27d09cb19c94f81b666bc7ad91c65fb79)
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 2fb0303580..ec8e21a902 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4364,7 +4364,7 @@ both a traditional UI or a modern UI with a GtkHeaderBar.") (define-public devhelp (package (name "devhelp") - (version "3.32.0") + (version "3.34.0") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -4372,7 +4372,7 @@ both a traditional UI or a modern UI with a GtkHeaderBar.") name "-" version ".tar.xz")) (sha256 (base32 - "06sa83zggk29wcg75fl3gqh0rmi7cd3gsbk09a2z23r7vpy7xanq")))) + "0zpmn6fgkgiayvn4diia5df0s6s7dqrdnp3nrvpavsmgn0vhb4pg")))) (build-system meson-build-system) (arguments '(#:glib-or-gtk? #t |