("5.3.1" ("b7964a1cc1aa2ad351c43125e3e9a5e780a593da" . "2963e26fefc32d88a4e3100ada4f3516c419bb9e") (collects #"scheme" #"cmdline.rkt") (collects #"raco" #"command-name.rkt") (collects #"scribble" #"xref.rkt") (collects #"scribble" #"latex-render.rkt") (collects #"scribble" #"pdf-render.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"text-render.rkt") (collects #"scribble" #"render.rkt") (collects #"scribble" #"html-render.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
