("8.14" racket ("52a0195bf8d3b6517e682d57c0f95e89e479c7a9" "96d9883a4c2cae29548c1a611b95efa95a4ed56e" . "df43b327e013c64cc30006705c287a1cf5f2f05c") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"place.rkt") (collects #"racket" #"runtime-config.rkt"))
