("5.3.1" ("f6244b07b282164023412129e8314d507d5cc569" . "f8568e891a5ee4068ef2630b117010a57c6b1e32") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"eval.rkt") (collects #"racket" #"sandbox.rkt") (collects #"racket" #"base.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
