("5.0.1.5" ("5351e41944474cae09d160022c92318845395338" . "0866edb0526f803375ca256a4c8c0e64bc825839") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
