("8.17" ta6le ("2bae80e4f8ff5300e1f54b820c454c8e48b8956d" . "4bb73008c2f5c178bcdbb2abef2df2283776ce90") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"setup" #"collects.rkt"))
