("7.3" racket ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" . "3637f764326f8540315324d4753974ca64f07a69") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
