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