("8.15" tarm32nb ("b997ddcd4feb57ba2c90538b00aa1932f199a177" . "37397e8a4b5153f3374fe1d9c376862a3b69c677") (collects #"pkg" #"private" #"config.rkt") (collects #"pkg" #"private" #"dirs.rkt") (collects #"pkg" #"private" #"params.rkt") (collects #"pkg" #"private" #"print.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
