("7.2" racket ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" . "f5d9f5ee48118b8b44b0d66bedd22ae05c5df0e9") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
