("7.9" racket ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" "213e4ed6b19708099b60e994b9966fd848aa2b99" . "4c248422560ea50e3288f4334a58f3538d60262e") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
