("6.0" ("80e357d61f5cc418cd1bfb9485aa3b38235cfe22" . "2886b32df74d7f347dcb2e6a5c65f5688c1e2ab0") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"launcher" #"main.rkt"))
