("8.15" tarm32nb ("73bd37cb9cb78de358a690d3738a136e2295fea0" . "efc7ce735383d1991dce08524749520515ddc823") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"scribblings" #"ref" #"gui.scrbl") (collects #"redex" #"scribblings" #"ref" #"languages.scrbl") (collects #"redex" #"scribblings" #"ref" #"other-relations.scrbl") (collects #"redex" #"scribblings" #"ref" #"patterns.scrbl") (collects #"redex" #"scribblings" #"ref" #"reduction-relations.scrbl") (collects #"redex" #"scribblings" #"ref" #"terms.scrbl") (collects #"redex" #"scribblings" #"ref" #"testing.scrbl") (collects #"redex" #"scribblings" #"ref" #"typesetting.scrbl") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt"))
