("5.3" ("86dcf13c88c49132ee6586344b0514aa74bd5d23" . "188013cdea6c9364aba92068c84f94f13e81fc54") (collects #"scribble" #"eval.rkt") (collects #"racket" #"sandbox.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
