("7.0" ("4a9f425ef993c576faa4f18565a432de02cf76b9" . "d696b27261c88bc4caf5a65131906e4cb32c2bab") (collects #"racket" #"private" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"module-reader.rkt"))
