25/27: gnu: Switch from xf86bigfontproto to xorgproto.

[Marius Bakke]

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

commit d7f37691953d8d44e8ef42ac41fefee989341cc6
Author: Marius Bakke <address@hidden>
Date:   Sat Mar 10 14:45:06 2018 +0100

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

diff --git a/gnu/packages/xorg.scm b/gnu/packages/xorg.scm
index 7de177f..aa8c19b 100644
--- a/gnu/packages/xorg.scm
+++ b/gnu/packages/xorg.scm
@@ -3521,8 +3521,8 @@ 
xf86-video-voodoo/patch/?id=9172ae566a0e85313fc80ab62b4455393eefe593")
     (description
      "XFree86 Bigfont Extension contains header files and documentation
 for the XF86BigFontProto protocol.")
-    (license license:x11)))
-
+    (license license:x11)
+    (properties `((superseded . ,xorgproto)))))
 
 (define-public xf86dgaproto
   (package
@@ -5112,7 +5112,6 @@ over Xlib, including:
         ("libxshmfence" ,libxshmfence)
         ("libxt" ,libxt)
         ("libxv" ,libxv)
-        ("xf86bigfontproto" ,xf86bigfontproto)
         ("xf86vidmodeproto" ,xf86vidmodeproto)
         ("xkbcomp" ,xkbcomp)
         ("xkeyboard-config" ,xkeyboard-config)