("7.0" ("809f039104a5fb816fbbb033b9e1e25a2900c8da" . "e1572a18f5c12edd970758c3850e62c6fcba7c25") (collects #"racket" #"base.rkt") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"cross-system.rkt"))
