("7.0" ("4d947bedeaaf67b1112bd4edde97fed7b706bea9" . "96b0e636c6f9407ee284c766259a8613ad30d2d6") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
