("8.14" racket ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" "0ffe2b0af28efc312e2f052275068081b7e09326" . "2363a2ce2d6e0012886e4205bc557ab21d4742b7") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
