("6.0" ("4597cfda2d475e79f6ee8e81de3c235e29a306a1" . "3eafb8ec3f53ba6898464c347c7026d2656517df") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"on-demand.rkt"))
