("8.15" ti3nb ("7a4a7fc09c9496a69ec17324b896d77fe4f75475" . "5ed85e1e757b016b15bd0e00948125dd04a4da83") (collects #"planet" #"config.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"runtime-config.rkt"))
