("5.3.1" ("b0be960b59e90ffce32c79952a45564ca1cf1a93" . "2b05f8d6b7e9a358b6339d7b8d1f56f97fb9c85d") (collects #"raco" #"command-name.rkt") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"base.rkt") (collects #"setup" #"private" #"command-name.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
