("6.12" ("933acb6b34af3d88797e0c10aa65ac2c39ec0aa3" . "1d559151d00ffd5d20b6d739bb8d9b2a404b7096") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"private" #"manual-scheme.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"struct.rkt"))
