("5.0.1.5" ("bebfe555b3b2c54d1552101bec9ecfc1842bc42b" . "9e169bb678bcfa6914b0fddc5f12751e0d91dea3") (collects #"scheme" #"base.rkt") (collects #"typed-scheme" #"utils" #"utils.rkt") (collects #"typed-scheme" #"rep" #"type-rep.rkt") (collects #"typed-scheme" #"types" #"utils.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
