("8.15" tarm32nb ("62113628b33f1351681c9022621e3b723f6170b3" . "515c5689d5968e9d2ae80c03b4b4a48f716f2eaa") (collects #"drracket" #"private" #"drsig.rkt") (collects #"drracket" #"private" #"local-member-names.rkt") (collects #"framework" #"main.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unit" #"lang" #"reader.rkt") (collects #"racket" #"unit" #"lang.rkt"))
