("5.3.1" ("62305cddd068a778f61b2f10f72e8ec69616892a" . "8bbcf28238562e2bcaad7395ff6c3cd8011a2d53") (collects #"scheme" #"base.rkt") (collects #"scheme" #"system.rkt") (collects #"scheme" #"port.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
