("5.3.1" ("9e0ed29deb4495829c4aeee607f6191de3907e39" . "3f48173939b67f1ed6f0dc028cf9cb9a7fb39bce") (collects #"scribble" #"decode.rkt") (collects #"racket" #"sandbox.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
