("8.15" ti3nb ("b2321b638008916b2d177b34c398c2475c65c201" . "3240a73cac50b5f5c6975d511e9ba5daed57ff1e") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"private" #"choose-file-to-load.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"modread.rkt"))
