diff --git a/gnu/packages/xorg.scm b/gnu/packages/xorg.scm
index 5e480c23de..ff407c4f5c 100644
--- a/gnu/packages/xorg.scm
+++ b/gnu/packages/xorg.scm
@@ -246,8 +246,8 @@ (define-public bigreqsproto
     (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 @@ (define-public xorg-server
         ("xf86driproto" ,xf86driproto)
         ("xorgproto" ,xorgproto)))
     (inputs
-      `(("bigreqsproto" ,bigreqsproto)
-        ("compositeproto" ,compositeproto)
+      `(("compositeproto" ,compositeproto)
         ("damageproto" ,damageproto)
         ("udev" ,eudev)
         ("dbus" ,dbus)