("5.3.1" ("69ef1d6540897f05dc9eba5e4856233dbcdd8e9b" . "cecdcc5ce1ecbe4621a7306c3fe3205109f59f5a") (collects #"srfi" #"%3a5.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
