05/08: gnu: spice-protocol: Update to 0.14.0.

[guix-commits]

mbakke pushed a commit to branch master
in repository guix.

commit a550da6247382e0a4d365e3563e8c646a827a9d6
Author: Marius Bakke <address@hidden>
Date:   Wed May 1 18:01:34 2019 +0200

    gnu: spice-protocol: Update to 0.14.0.
    
    * gnu/packages/spice.scm (spice-protocol): Update to 0.14.0.
    (spice-protocol-0.12): New public variable.
    (spice-gtk)[propagated-inputs]: Change SPICE-PROTOCOL to 
SPICE-PROTOCOL-0.12.
---
 gnu/packages/spice.scm | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/spice.scm b/gnu/packages/spice.scm
index 52e4f4f..7faaa83 100644
--- a/gnu/packages/spice.scm
+++ b/gnu/packages/spice.scm
@@ -2,6 +2,7 @@
 ;;; Copyright © 2016 David Craven <address@hidden>
 ;;; Copyright © 2018 Tobias Geerinckx-Rice <address@hidden>
 ;;; Copyright © 2019 Rutger Helling <address@hidden>
+;;; Copyright © 2019 Marius Bakke <address@hidden>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -97,7 +98,7 @@ system to use the host GPU to accelerate 3D rendering.")
 (define-public spice-protocol
   (package
     (name "spice-protocol")
-    (version "0.12.15")
+    (version "0.14.0")
     (source (origin
               (method url-fetch)
               (uri (string-append
@@ -105,7 +106,7 @@ system to use the host GPU to accelerate 3D rendering.")
                 "spice-protocol-" version ".tar.bz2"))
               (sha256
                (base32
-                "06b461i4jv741in8617jjpfk28wk7zs9p7841njkf4sbm8xv4kcb"))))
+                "1b3f44c13pqsp7aabmcinfbmgl79038bp5548l5pjs16lcfam95n"))))
     (build-system gnu-build-system)
     (synopsis "Protocol headers for the SPICE protocol")
     (description "SPICE (the Simple Protocol for Independent Computing
@@ -114,6 +115,19 @@ which allows users to view a desktop computing 
environment.")
     (home-page "https://www.spice-space.org";)
     (license (list license:bsd-3 license:lgpl2.1+))))
 
+(define-public spice-protocol-0.12
+  (package
+    (inherit spice-protocol)
+    (version "0.12.15")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://www.spice-space.org/download/releases/";
+                    "spice-protocol-" version ".tar.bz2"))
+              (sha256
+               (base32
+                "06b461i4jv741in8617jjpfk28wk7zs9p7841njkf4sbm8xv4kcb"))))))
+
 (define-public spice-gtk
   (package
     (name "spice-gtk")
@@ -134,7 +148,7 @@ which allows users to view a desktop computing 
environment.")
         ("gst-plugins-good" ,gst-plugins-good)
         ("gst-plugins-bad" ,gst-plugins-bad)
         ("gst-plugins-ugly" ,gst-plugins-ugly)
-        ("spice-protocol" ,spice-protocol)
+        ("spice-protocol" ,spice-protocol-0.12)
 
         ;; These are required by the pkg-config files.
         ("gtk+" ,gtk+)