("5.3.1" ("b9c12deb8672d7e4f809798826cc4d4b9051fb3e" . "681ec8262032b816bf8bcce8ae1f72ceddc3102d") (collects #"raco" #"command-name.rkt") (collects #"racket" #"cmdline.rkt") (collects #"scheme" #"base.rkt") (collects #"setup" #"link.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
