("7.3" racket ("809f039104a5fb816fbbb033b9e1e25a2900c8da" . "91633fa667895a87b534ec730de4faf7b734e7bd") (collects #"racket" #"base.rkt") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"cross-system.rkt"))
