("5.3" ("c3d619aae80aa456125668e339f1ab820f4294f0" . "53feda4284b0eaef17a67bedb2684cc1924f4e51") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"typed" #"racket.rkt") (collects #"scribble" #"core.rkt") (collects #"typed-racket" #"scribblings" #"guide" #"varargs.scrbl") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
