("5.3" ("3ec864782a3fe2389befdf312a76f373d8b46eb8" . "6d2d27c140aa11171a86296ca0213effd45c9b4c") (collects #"scribble" #"eval.rkt") (collects #"racket" #"base.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"))
