("5.3.1" ("5f3ca10eda5067a2aa3890e0c128b51c9d47ed93" . "c917b53b6d4e654c9531d6e26b65f426ecaa92a2") (collects #"scribble" #"bnf.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt") (collects #"at-exp" #"lang" #"reader.rkt"))
