("5.3.1" ("d7b63dda964c38a054f9bf87fe271646c1c2413b" . "2c8cb474c1ff6bc3ae9bcd14e4e3fd3f80ec453f") (collects #"racket" #"file.rkt") (collects #"scheme" #"base.rkt") (collects #"setup" #"dirs.rkt") (collects #"racket" #"path.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
