("5.3.1" ("47bf3454757054f245d9992d4df409bf95dfdb4f" . "92e353dbbdb0781924b33c12f2a30214020fd0b0") (collects #"racket" #"serialize.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"unstable" #"error.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
