("5.0.1.5" ("76e6b8345d2905ca14f0876c48f9aed7ddbec7cd" . "1aff289152bb5d829a34172c083b776926316be0") (collects #"scheme" #"base.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"scheme" #"list.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"struct.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
