("9.3" tla64le ("8bb7ca03736cf5765e7e746d260e82d34a9fb776" . "103de5e28c670458d2e5d129c3d43f6876cb452d") (collects #"launcher" #"main.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"path.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"setup" #"dirs.rkt") (collects #"setup" #"variant.rkt"))
