("5.3.1" ("7f9f473c47ed410d1274c82e75139297e9e94267" . "d9e09860a06744f7ba472fab76d36df9bdb9b626") (collects #"racket" #"file.rkt") (collects #"racket" #"function.rkt") (collects #"racket" #"base.rkt") (collects #"unstable" #"file.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
