("5.3.1" ("4af30928a920e4c7f91b97a9827a7803313ffd3d" . "5728a96d4285861de73698dbf4a25db9a64cca5e") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"eval.rkt") (collects #"racket" #"sandbox.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
