("8.15" tarm64nt ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" "7ad3467d8697df2d04e15ef141bc4f0d61de87a1" . "6981c4b1cee8d912fa08b5f6caf1e43baa337267") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
