info.rkt fixes #3

Open
xgqt wants to merge 2 commits from xgqt/fix-info.rkt into main

2 Commits

Author SHA1 Message Date
Maciej Barć
da047da3e6
info.rkt: define license
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-01-27 20:35:34 +01:00
Maciej Barć
f7dd369f58
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>
2023-01-27 20:33:37 +01:00