("5.3.1" ("5e31f797d113ccedecfa6d45a4d29abe3cc41a4a" . "8612294865f565bbc7c6e954ca3c0610e68e65cc") (collects #"readline" #"pread.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
