("8.15" tarm32nb ("de3b342ca40727ad6aa06c801f5eed52fc70e3cf" . "c1b1a828915a50b5bb5999126ecb89d386bde186") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"scribble" #"demo.scrbl"))
