("8.14" racket ("d72a4236e9e51748a05453ed4b66bee7d17b987d" "abacf4b2eafc51f185055db1e8ba79b59feb32a6" . "7039ea2c647c9121f8c7a202e7e24d9050c7d005") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
