("5.3.1" ("5807b482f13e47365dc872585fd37c8c6966c5c0" . "218d06cf8c35db9167a877d9d515ac3c00caeb16") (collects #"racket" #"contract" #"base.rkt") (collects #"syntax" #"private" #"modcollapse-noctc.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
