("5.3.1" ("eee39771a6ec9074dd83a0ed337a7bd45cf0d0b8" . "f9432b4adfe8f7729ca4c6eb0800626ac6410606") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"class.rkt"))
