("5.0.1.5" ("d9e3ec7a863da0d5d7c72809da482d532b3634cd" . "085ef3c1934c17250cbfa5a6d685ccc776da00c7") (collects #"racket" #"base.rkt") (collects #"lang" #"private" #"signature-syntax.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
