("5.3" ("eee39771a6ec9074dd83a0ed337a7bd45cf0d0b8" . "1f41f5489e43d15ab81481e91c00fe7e46b94294") (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"))
