("6.11" ("2a865bdad0795e06b9277cc30822b02e700a1f6b" . "dd9c8bdb6e7783c2ca8e6d3dfdd94c5b1ffbbf74") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"private" #"on-demand.rkt"))
