("5.0.1.5" ("9ca6204b4c6ed7c35d38ddae6f44284fe2f03b2b" . "680bfc8ec01712f7cdce2da2eb3c3f8c1a1b85e9") (collects #"scheme" #"base.rkt") (collects #"launcher" #"launcher.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
