("8.15" tarm32nb ("c80fc9e72d12301346cdc70e4970f3793fd2527e" . "c961b9c03ac5ddef79d1bdfa6826646bf9487cd9") (collects #"drracket" #"private" #"recon.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"srcdoc.rkt"))
