("8.15" ti3nb ("02ce5b23a8713384691f049bcde73ec45c325bf1" . "d26917e5707e441e6a61837582832fd354d651ac") (collects #"racket" #"enter.rkt") (collects #"racket" #"help.rkt") (collects #"racket" #"interaction-info.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
