("7.0" ("ef4201fddecf0cccd787ef1adb604bd7df4e8414" . "615f71eae28fb99e49ab2634efbdfb3f639a9853") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"module-reader.rkt"))
