("5.3.1" ("daa4ae10719d762db46428201852a0727949f357" . "2385e7cf09609d0d8f8ef83d3a1058ed93920ef7") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"struct.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"manual-sprop.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
