("5.3.1" ("e0a674583f225548e299a2c33355861f8d83f9b4" . "4fad736459d51f2254d45dbd10a79f76a659293b") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"typed-racket" #"scribblings" #"guide" #"quick.scrbl") (collects #"typed" #"racket.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
