("5.3.1" ("5ec8e8ec824be054107a4debac7db152d36d583e" . "e805c01893f29c9ab05ba6bdf829975a53acf61c") (collects #"scheme" #"base.rkt") (collects #"setup" #"dirs.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
