("8.14" racket ("c8bb90994b180a0a49e33e08ff48dbd483dd88b3" "6972f3dee9fb2b779f2b7e183d298a2ce665d09b" . "d5034c22f285745cc1691c67574e940b38d8e3b8") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
