("5.3.1" ("3742395215417d23fa87fc5243979eb2e65d041e" . "d204259c99c61a69f1592e5ec03e53e34a08e789") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"mzlib" #"etc.rkt") (collects #"typed" #"racket.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
