("5.3.1" ("b34e577ceb2c61e780937caec9ce7a980add8b02" . "dfaaade1da2b5f0a8445d1adcde713b8bd8e3615") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
