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