("6.5" ("80e357d61f5cc418cd1bfb9485aa3b38235cfe22" . "6378bd694ccbdb1982d0e36630e41bd595727faa") (collects #"launcher" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt"))
