("5.3.1" ("2166976b5b969a4cb1e913f73e817558b9e3077b" . "bed9d112aafd2aea182769f026b8488cd3e4ee8a") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scheme" #"struct-info.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"provide-syntax.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
