("8.14" racket ("cbfeb2ea1fcdd69ae2a77a4549799c702ed57728" "6b55d5ce456e455f58589cc22e91ec335c3562fe" . "c39f531bb5f05a9ad97d22253ffbf45fc5cd720c") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt"))
