("6.1.1" ("1dcdf8ebab742e17833a2e142a347c5457908bdc" . "a9a602d0b6ae932e8f1e6aad2b5c3bafb2818955") (collects #"scribble" #"doclang.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"manual-defaults.rkt") (collects #"scribble" #"manual.rkt"))
