("5.3.1" ("c5f55bfe3680556ba691338ad13aeeb96ef34911" . "100f4715acdb44b0521c0032e04e3b0c5253e1f1") (collects #"racket" #"serialize.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"contract" #"combinator.rkt") (collects #"syntax" #"for-body.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
