("8.17" #f ("a7b3c2faf08e74e276ad26ff82c9a6fecdb7760a" . "8396ecf13c2060bf385b7c8ae2a3b736421554b5") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt"))
