Subject: [bug#30763] [PATCH core-updates 25/27] gnu: Switch from xf86bigfontproto to xorgproto.

From: Marius Bakke <[email-masked]>
Date: Sat, 10 Mar 2018 16:48:05 +0100

* 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 fa5d3e43e..54478a1e0 100644
--- a/gnu/packages/xorg.scm
+++ b/gnu/packages/xorg.scm
@@ -3529,8 +3529,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
@@ -5122,7 +5122,6 @@ over Xlib, including:
         ("libxshmfence" ,libxshmfence)
         ("libxt" ,libxt)
         ("libxv" ,libxv)
-        ("xf86bigfontproto" ,xf86bigfontproto)
         ("xf86vidmodeproto" ,xf86vidmodeproto)
         ("xkbcomp" ,xkbcomp)
         ("xkeyboard-config" ,xkeyboard-config)
-- 
2.16.2