("5.3.1" ("c6dbc23a039269c0af3fef71f3d372aca7d16f01" . "523ffa4389840d7e93fb82ae8ba14765e3da9ec2") (collects #"racket" #"contract.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"main.rkt") (collects #"scribblings" #"icons.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt") (collects #"at-exp" #"lang" #"reader.rkt"))
