("8.14" racket ("2b581cb00b39ac6c4945b3bc6d30475fffdca197" "910ddcfae244d069ae93941c9ac9872b9d2a60ba" . "7dc78f6a4db3dafae2a2a02604869d8612c2ddfd") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
