("8.15" tarm32nb ("8682a2631072d2298df4bc5c7fa090eaddfaf13a" . "43617a1249ac10d5adb34dccb423bdcb45e351af") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"reader" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"literal.rkt"))
