("8.14" racket ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" "7fdd8a142029916d37b0ef7c2dae8aee4995733b" . "66189c1108b9f1e03bbf0a28938ccb30f73bb8c0") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
