("5.3.1" ("69c0fd02bed88205a077d334bc2bf054c25d6475" . "54558517c9c8f5d117748b004939258b635093b0") (collects #"racket" #"snip.rkt") (collects #"wxme" #"private" #"class-help.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
