("5.3.1" ("f7ab192ff5707ed832ae86b096af19f4a0604d2f" . "f922e562dc595060beb3426332232d4952c0cc1e") (collects #"scribble" #"search.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"private" #"manual-sprop.rkt") (collects #"scribble" #"core.rkt") (collects #"file" #"convertible.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"private" #"on-demand.rkt"))
