From f7dd369f58b991297d499a1d702db7fb42ceadcb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Fri, 27 Jan 2023 20:33:37 +0100
Subject: [PATCH] info.rkt: reprovide-lang -> reprovide-lang-lib
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

We only need the lib, no need for reprovide-lang's scribblings or tests.

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 info.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info.rkt b/info.rkt
index cccb397d..a1d9fa3b 100644
--- a/info.rkt
+++ b/info.rkt
@@ -7,7 +7,7 @@
                "compatibility-lib"
                "slideshow-lib"
                "typed-racket-lib"
-               "reprovide-lang"
+               "reprovide-lang-lib"
                "mutable-match-lambda"))
 (define build-deps '("scribble-lib"
                      "racket-doc"