("5.3.1" ("8b2ba747078296407db21cfe10888072f9e2c8d9" . "52a66256d98616c0d1bb93dc0ae3c8fed7b646cd") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"encode-name.rkt") (collects #"r6rs" #"private" #"find-version.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
