("8.14" racket ("f7fa038d13c95e96af2e4944484d7aa006eb7592" "28b4ff65948408d20ccc69780e84f0add87f9c31" . "829d20087765da7b990117b2d0a0eedb55df01fc") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"config.rkt") (collects #"racket" #"promise.rkt") (collects #"racket" #"runtime-config.rkt"))
