("6.5" ("ef4201fddecf0cccd787ef1adb604bd7df4e8414" . "e7fb3d9066e4ba9e12198d8da3d91095058dbcbc") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"module-reader.rkt"))
