("8.15" ti3nb ("f114341e1337cc975acdb1f5340f617f7d56b64f" . "0b908a60f4f9185cb872a5c949a7cb588410fcb3") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"infotab.rkt") (collects #"syntax" #"module-reader.rkt"))
