("6.12" ("835416d7afe733002ddd9a18969ba15351085baa" . "9b118668b64d808efa152e5acb4c07723379f883") (collects #"launcher" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"setup" #"dirs.rkt"))
