("5.3.1" ("7b3fac376aeb26c9d3bf434be9d0b20d91737f5e" . "4cab2550c070d7c8693ef453718efc25a212b591") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"unstable" #"struct.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
