("8.6" racket ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" "3fdd239a624b468203ae4b8718b9ffc857f651d2" . "8273a2321215b7a3d935888300f5af284e306aa7") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
