("6.2" ("80e357d61f5cc418cd1bfb9485aa3b38235cfe22" . "12706323e37c2d0ea11454587f156cb2153f7cb0") (collects #"scheme" #"runtime-config.rkt") (collects #"scheme" #"base.rkt") (collects #"launcher" #"main.rkt"))
