("7.9" racket ("c8bb90994b180a0a49e33e08ff48dbd483dd88b3" "58ad3c796d90f0cfb5398764bc9a54bc039dcc59" . "a2baeaeb0eb95ceefcda53e3a5d79f99236a6fd0") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
