("5.3.1" ("09c47f7572dd035f8516ab7e6c5a5cd498da5538" . "2a6e3158483c72c4289957e0e8cfeb676b18ce05") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
