("5.3.1" ("5dd24fd557ff4c14ea3dbf18fc5e211c215a4f1f" . "5441c1552caf64e7dfbe310245082b97ea21274a") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"serialize.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
