("7.0" ("79c9808cc89ac5e2d960c2f045c8f99f9e8dc9f7" . "6ce18c11fa99cdc3a6704d3837031c89b5b86f58") (collects #"racket" #"private" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt"))
