("5.3.1" ("25ce401f06273343bf68ea8b71ce7d9f19f96704" . "5632a9d9e4c676793fa30a30dfd8d0439259458d") (collects #"launcher" #"launcher.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
