("5.0.1.5" ("00ed2979ef55f5bdeb64780e98fb36ef35373291" . "2930325c6eefdd76b2e8da6d76445c177deabb81") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"conds.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
