03/27: gnu: Switch from bigreqsproto to xorgproto.

[Marius Bakke]

mbakke pushed a commit to branch core-updates
in repository guix.

commit 727f076fcd0ec9709493215562b7e86209f37a9f
Author: Marius Bakke <address@hidden>
Date:   Sat Mar 10 12:43:34 2018 +0100

    gnu: Switch from bigreqsproto to xorgproto.
    
    * gnu/packages/xorg.scm (xorg-server)[inputs]: Remove BIGREQSPROTO.
    (bigreqsproto)[properties]: Mark as superseded by XORGPROTO.
---
 gnu/packages/xorg.scm | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/gnu/packages/xorg.scm b/gnu/packages/xorg.scm
index 5e480c2..ff407c4 100644
--- a/gnu/packages/xorg.scm
+++ b/gnu/packages/xorg.scm
@@ -246,8 +246,8 @@ the core protocol and (many) extensions for the X Window 
System.")
     (description
      "Big Requests Extension defines a protocol to enable the use of
 requests that exceed 262140 bytes in length.")
-    (license license:x11)))
-
+    (license license:x11)
+    (properties `((superseded . ,xorgproto)))))
 
 (define-public compositeproto
   (package
@@ -5122,8 +5122,7 @@ over Xlib, including:
         ("xf86driproto" ,xf86driproto)
         ("xorgproto" ,xorgproto)))
     (inputs
-      `(("bigreqsproto" ,bigreqsproto)
-        ("compositeproto" ,compositeproto)
+      `(("compositeproto" ,compositeproto)
         ("damageproto" ,damageproto)
         ("udev" ,eudev)
         ("dbus" ,dbus)