("8.15" tarm32nb ("4d94589b8adce97ce44cdab770c282cf0f63599b" . "4dd0d6ddc8f9a05acdfd6cba78f3f8b2ffd71497") (collects #"mzlib" #"for.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt"))
