("5.3.1" ("514d7de51c45c8e2cce3c77f26d7c0e0ceeb68f8" . "cc22389a0129d62f4b975986f27076cf6366e8c3") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"private" #"manual-scheme.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"basic.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
