("5.3.1" ("3a21dc77337bee036ee71831108622a0ba8605d0" . "8332aceb7e1a555e5582199f58aecb9e734a88e3") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"list.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"manual-sprop.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
