("5.3" ("271b18913020470c0aba10dc6127e91ad3f1395d" . "e3a7d57ad1a78c88260e520ee9b3d2f48e0f3cdf") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"basic.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
