("5.0.1.5" ("b4128e22ff316e6d99acc65eddea15041b58562b" . "cb9af480d04078ec30b89bb61b7f600218552fb9") (collects #"syntax" #"module-reader.rkt") (collects #"typed-scheme" #"typed-reader.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
