("5.3.1" ("1aba0f6ca3586308d1adb44b790ca7acb30679ea" . "73e141348213e27897b711490f8458a676dfbdab") (collects #"planet" #"private" #"resolver.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
