("6.5" ("bca4295f71666ddc7b4a21f39d768bf2b130b21f" . "9b28e2cf9cc9fdffe10b2d1850bf0713c18de72d") (collects #"file" #"md5.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt"))
