("5.3.1" ("deff5fe6c8c8002265e7cbe50307e79361aff358" . "648411e787a2871b3186a7bf56d90d60873bd9e9") (collects #"scribble" #"xref.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"setup" #"xref.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
