("5.0.1.5" ("16e215c07ecf00b19a9a9b00a26ced9876260c1c" . "2ab0f22b271f3e1807d92e2d66ae56c2c5f4ecb9") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt"))
