("8.1" racket ("31b342a1acd26dd83fc929d99116bf0f4d8e0705" "1733426efbf7ea355548047a2e59d51e5f203c16" . "bb97c5aba2c5ab18322121115ccdc0127f5dcc92") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
