("5.3.1" ("eeaf9707e2522fe4286b271b9797ae4f21ef692d" . "883c782a969db02d35c07de5c25a4ee3a1a4121f") (collects #"scheme" #"private" #"provider" #"lang.rkt") (collects #"racket" #"flonum.rkt") (collects #"scheme" #"private" #"provider" #"lang" #"reader.rkt"))
