("8.1" racket ("97d94bedbc36e4aa26f6a86edd0fcd56e0e01194" "ff337c94f0461943e073aa767a29f39b3135e4e7" . "95e968bda4d2f83bc743885a43a0ea56a22e4bd8") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"matching-platform.rkt"))
