("5.3.1" ("ee3de1b1cf16f06f5d28c53584f4fc0865db4d2e" . "2f96c9e14d6ff743556f0183136d1728c96fd0fa") (collects #"xrepl" #"xrepl.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
