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