gnu: gnome-terminal: Update to 3.20.2.

* gnu/packages/gnome.scm (gnome-terminal): Update to 3.20.2.
This commit is contained in:
宋文武 2016-08-22 21:56:17 +08:00
parent 52d8ebeb83
commit 8627a60711
No known key found for this signature in database
GPG key ID: 26525665AE727D37

View file

@ -2329,7 +2329,7 @@ (define-public gnome-sudoku
(define-public gnome-terminal
(package
(name "gnome-terminal")
(version "3.20.1")
(version "3.20.2")
(source
(origin
(method url-fetch)
@ -2338,7 +2338,7 @@ (define-public gnome-terminal
name "-" version ".tar.xz"))
(sha256
(base32
"1508nm35znlfq9v1s2j4ypx5x608yq391c565b4hazxk2f5z9dwq"))))
"08ssch8h1y85wyhddkyr7ab4v8dnsn17z4ayyc5ff78gfdh30f7m"))))
(build-system glib-or-gtk-build-system)
(arguments
'(#:configure-flags