gnu: gnome-terminal: Update to 3.30.2.

* gnu/packages/gnome.scm (gnome-terminal): Update to 3.30.2.
This commit is contained in:
Ricardo Wurmus 2018-12-04 19:06:58 +01:00 committed by Kei Kebreau
parent b3f95507df
commit 1d7cb36e8e
No known key found for this signature in database
GPG key ID: E6A5EE3C19467A0D

View file

@ -2942,7 +2942,7 @@ (define-public gnome-sudoku
(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 @@ (define-public gnome-terminal
name "-" version ".tar.xz"))
(sha256
(base32
"0ybjansg6lr279191w8z8r45gy4rxwzw1ajm98cgkv0fk2jdr0x2"))))
"0f2y76gs72sw5l5lkkkvxzsvvwm0sg83h7nl8lk5kz1v1rrc47vb"))))
(build-system glib-or-gtk-build-system)
(arguments
'(#:configure-flags