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