diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-12-04 19:06:58 +0100 |
|---|---|---|
| committer | Kei Kebreau <kkebreau@posteo.net> | 2019-06-20 23:24:36 -0400 |
| commit | 1d7cb36e8ebe04f347cb8b9e0e6ff0658d8e80df (patch) | |
| tree | a1cdb1e22cc367e996021f3d4c29fa8dc840513f | |
| parent | b3f95507dff75790546ec22bd1b0f5b293a0dcc3 (diff) | |
gnu: gnome-terminal: Update to 3.30.2.
* gnu/packages/gnome.scm (gnome-terminal): Update to 3.30.2.
| -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 c71b24614a..9ae2d5fe97 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -2942,7 +2942,7 @@ more fun.") (define-public gnome-terminal (package (name "gnome-terminal") - (version "3.28.2") + (version "3.30.2") (source (origin (method url-fetch) @@ -2951,7 +2951,7 @@ more fun.") name "-" version ".tar.xz")) (sha256 (base32 - "0ybjansg6lr279191w8z8r45gy4rxwzw1ajm98cgkv0fk2jdr0x2")))) + "0f2y76gs72sw5l5lkkkvxzsvvwm0sg83h7nl8lk5kz1v1rrc47vb")))) (build-system glib-or-gtk-build-system) (arguments '(#:configure-flags |