("8.1" racket ("c8bb90994b180a0a49e33e08ff48dbd483dd88b3" "075a2ed02656c696bdc15cd901406255ee83e65d" . "ca9e6cccf375f903be853cdecddd661336a6c32a") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
