("8.1" racket ("7dbbea772da2f6dc1339e9fd8e62656e175e05fb" "2cbfa751a024904a56ee797a80fa21e806c2bae1" . "7c23788a36b7f93d688ee34ad86edc0756c2e67b") (collects #"racket" #"base.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
