("8.1" racket ("15c36e29103dd37d5a86e82607976f3f7886112f" "e98c66a7454e831793f59f533c7c2f6f3f74e8bf" . "6d8d156b23bb1a001fbe2fa9fe3147570be106ef") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"xml" #"private" #"core.rkt"))
