("5.3.1" ("3b27bb68e29f1091324084683e4a54afd7169354" . "642438227ec489b6d4a186c312d2897d9294b807") (collects #"raco" #"command-name.rkt") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"cmdline.rkt") (collects #"dynext" #"file.rkt") (collects #"racket" #"base.rkt") (collects #"compiler" #"private" #"embed.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
