("5.3" ("35b46992445a409ad69cc71a11a6c47f5294f63d" . "4e0d0c1be5701fdecbcc76944febbdecb6412d14") (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"))
