("5.3.1" ("4013599b6ad3724414fe81c31bc57cc142ff0cb6" . "2114d0d4ecf4256949f2b1c85b4eeb519b9d447b") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"scheme.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scheme" #"class.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"private" #"manual-ex.rkt") (collects #"scribble" #"basic.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
