("5.3.1" ("09c47f7572dd035f8516ab7e6c5a5cd498da5538" . "349f66ceb5acab682ebacb1cd234bbb0fdc5726a") (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"))
