("8.14" racket ("bbade7c7dd0382917a8d6f6a5705e1c09fa9572f" "32b0e1d46e13dfd7c7bea2fc4328f504586fdf97" . "0c1ebbe11fdb44f2da79a15fd4357265cf4da8a9") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
