("7.8" ta6nt ("c8bb90994b180a0a49e33e08ff48dbd483dd88b3" "e6c526c8273495cd1e3d534305b7a84e275fdc4f" . "b3f0d0fc8d34b1995419f0d14005c0694be38f4a") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
