("8.17" tarm64le ("73bd37cb9cb78de358a690d3738a136e2295fea0" . "f1d1c3f55072688d99182105c1d4d203ab4d6f1a") (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"))
