("7.0" ("16ed4cb2d69f9fd8e5928e6c12951eef33523014" . "8beb4098df7862f745a3e9cfdf8c857ddcd5a536") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"syntax" #"kerncase.rkt"))
