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