("5.3.1" ("dddb390144a970890af2efde53e22349fe80c803" . "ba97589317864783249be5cc748aea5276b4068b") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"scheme.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"scribble" #"manual.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
