("5.3.1" ("b3485aa2e0de9fbd271dc93bf3d97428c691f507" . "ace6ebfd2911b1a08569a9aebd5252efc6fa251b") (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"))
