("6.5" ("826f897519898af2a995266dbe62ab2cca770bed" . "f5c063c74e406d4a42c650e1e4061f1f5fc0f9ca") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt"))
