("5.3.1" ("eee39771a6ec9074dd83a0ed337a7bd45cf0d0b8" . "2dc5811a65e2e724d1dc325ddaa4b8ae1a54df5b") (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"))
