("5.3.1" ("e871ab3b3ad050bcd4c72318d1b7d8418ecfb10d" . "d4a70aa43944503eed040a71b9b8c3908d5dd004") (collects #"scheme" #"base.rkt") (collects #"setup" #"getinfo.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
