("5.3.1" ("00ed2979ef55f5bdeb64780e98fb36ef35373291" . "b23f8a55ede5c839fb52896b7d415680bdabfc0c") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"conds.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
