("5.3" ("b8eec3f0698cc16491bf5ebd3fd89c35b249f838" . "85021c3ff8382bce657f908881d9af6f24e10968") (collects #"scribble" #"manual" #"lang.rkt") (collects #"racket" #"contract.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
