("6.4" ("80e357d61f5cc418cd1bfb9485aa3b38235cfe22" . "4a03c04fef7d9a830c04750b9531daabdc480060") (collects #"launcher" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt"))
