("7.3" racket ("87590ca160eae0a8c5b578db2a97f417222bf22d" . "80db0335b55d412330de30c6ec8a7c3228117331") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"cross-system.rkt"))
