("8.1" racket ("e07ad4f5c39d214b78e54d1fa2450f6d4756b7a0" "f5e0aa807eba4f83873de2e309bddff3470481e5" . "88e0ff15bffa4ebbe63a87c1794c6378b158d955") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"stx.rkt") (collects #"racket" #"runtime-config.rkt"))
