("8.1" racket ("f23d46a4aff25f20601e8a2af05ec5c6b721081d" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "a981478dcbc28539d6628cacf564f5703fc85e6b") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
