("5.3.1" ("e3321da32d450d021eedf4cff408754c61b9ddeb" . "c8212cd4c0b0409c9a69c1e4b88d2c6b0abb0e5e") (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"))
