("5.3.1" ("e88485eb4566d54c8df2478cd4cd927c27bc0afc" . "7f7a4516e6718404c73a5b58cb1c99d56741b384") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"text" #"wrap.rkt") (collects #"scribble" #"base-render.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
