("5.3.1" ("18ce06f199eedbaf0e1960c58d3030009d8e3248" . "0a4668f8ac9bf0a5f6759b8e40849600bb989ebc") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"private" #"manual-scheme.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"manual-ex.rkt") (collects #"scribble" #"basic.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
