("5.3" ("537076a46d9548a01ed41346bb9bdb35b1605d98" . "af05d6baa22828faeb11623f3b66ae025b6b4bb9") (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 #"scheme" #"base" #"lang" #"reader.rkt"))
