("8.17" ta6le ("0232ccc9aabaeb9cec55a54cee960b1ecdcb8792" . "f80aee9b311ebbbfe09c6e0ef48b3823afd07df3") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base-render.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"racket.rkt") (collects #"scribble" #"reader.rkt"))
