("6.12" ("def22d1845e167c4e5588abf8fb1c241439bab98" . "78a0934d1a3c6e7ae2b9d72e9180efef36e9c84a") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt"))
