("5.3.1" ("de67685b6697458993e50d0551789d66eb9a380e" . "2edc64e693ee168e279a3444862246dcea417f94") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"class-internal.rkt") (collects #"racket" #"contract" #"private" #"object.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
