("8.17" ta6le ("a66ef3244904bb22c914f0aef017b33fd1d32b2d" . "d79e1ca13217870f8fab09315e3c26dce0a4c3d5") (collects #"file" #"convertible.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"extflonum.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"manual-sprop.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"scribble" #"search.rkt"))
