("5.3.1" ("09c47f7572dd035f8516ab7e6c5a5cd498da5538" . "4698205bd35e6b888529fe6049ad22ef40e1956e") (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"))
