("5.3" ("e3321da32d450d021eedf4cff408754c61b9ddeb" . "15ca217580a46bbb730a66c657075b444b196539") (collects #"scheme" #"cmdline.rkt") (collects #"raco" #"command-name.rkt") (collects #"help" #"search.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"string.rkt") (collects #"scheme" #"list.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
