("5.3.1" ("fd680c2fa6f9f6480fba61659ffde90abf909b5a" . "be2ed4292c02a140fc0767babd8c2c16a98c21f5") (collects #"racket" #"vector.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"flonum.rkt") (collects #"racket" #"fixnum.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
