("9.1" tla64le ("8bb7ca03736cf5765e7e746d260e82d34a9fb776" . "57714dc4695e1de2a2a891cb05ee99cb97e2e17d") (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"))
