("8.15" tarm32nb ("d2a2b03d121fa1f3efdcfc33e3a2bcda438683ab" . "f91bd9ede487ec5c34a04ea6b20da41d9ffcab22") (collects #"racket" #"base.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"setup" #"dirs.rkt"))
