("5.3.1" ("b5d7aecdc44d25fd840068f731d0611356bd52ab" . "3eb45ca0dd7c8f19529262dd4c84c18501048424") (collects #"racket" #"base.rkt") (collects #"syntax" #"private" #"doctable.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
