("5.3.1" ("7b864fc55e31fe15099dd1107ab62b67b7ed7fc3" . "4cd6647ccc384b0308c76e749e2f208ff3df8a2d") (collects #"scheme" #"cmdline.rkt") (collects #"raco" #"command-name.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"pretty.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
