("5.3.1" ("4c502ed6a17091b11c70fd1f5a6900cb4d491e4d" . "6a8da330accbed050f2afce105b576fb39bcc448") (collects #"srfi" #"18.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
