("8.1" racket ("98a0752ed972ced51ecf2e89612d9f0431b04af7" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "86deda4d08eaf65c41bf426b9690af139bfab464") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
