gnu: spice-protocol: Update to 0.12.12.

* gnu/packages/spice.scm (spice-protocol): Update to 0.12.12.
[source, home-page]: Use HTTPS.
This commit is contained in:
Marius Bakke 2017-02-11 19:35:35 +01:00
parent ae953ead0f
commit 5e569d5c41
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA

View file

@ -121,21 +121,21 @@ (define-public virglrenderer
(define-public spice-protocol (define-public spice-protocol
(package (package
(name "spice-protocol") (name "spice-protocol")
(version "0.12.11") (version "0.12.12")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append (uri (string-append
"http://www.spice-space.org/download/releases/" "https://www.spice-space.org/download/releases/"
"spice-protocol-" version ".tar.bz2")) "spice-protocol-" version ".tar.bz2"))
(sha256 (sha256
(base32 (base32
"0c33kg3vdz3nnl2wjfbgmszz5hbjbvsw6map35dj9hxnpwwf9fi2")))) "00wx81f2ml62g3maw63jq9w217zym921rdi38h7lpm5m8ckxraqp"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(synopsis "Protocol headers for the SPICE protocol") (synopsis "Protocol headers for the SPICE protocol")
(description "SPICE (the Simple Protocol for Independent Computing (description "SPICE (the Simple Protocol for Independent Computing
Environments) is a remote-display system built for virtual environments Environments) is a remote-display system built for virtual environments
which allows users to view a desktop computing environment.") which allows users to view a desktop computing environment.")
(home-page "http://www.spice-space.org") (home-page "https://www.spice-space.org")
(license (list license:bsd-3 license:lgpl2.1+)))) (license (list license:bsd-3 license:lgpl2.1+))))
(define-public spice-gtk (define-public spice-gtk