("8.1" racket ("6085f191863517cbcb771b6a6ccf1379d0f3ee54" "349f5dcde9fbf5f4d3b263b1847514383babcd2c" . "0c6421c62fa7a712a4f975e8a0991301a0a10857") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
