("5.0.1.5" ("7528052a25dcaf6b971af6eacc0c8c08eaec8650" . "e6365363a50e6065fcac00204aa315df0706bb23") (collects #"scheme" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"gui" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
