info.rkt: reprovide-lang -> reprovide-lang-lib
We only need the lib, no need for reprovide-lang's scribblings or tests. Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
parent
d4fe76d189
commit
f7dd369f58