("8.15" tarm32nb ("be9cbb724a380b273a3ed42e4b6b587e9d6804b7" . "9c87509a535cd964946cc79a32fc446ed4a8ac0c") (collects #"racket" #"base.rkt") (collects #"racket" #"match.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" #"match-grammar.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
