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