("5.92" ("28a304737d9f0197e2c0d40170fd789875b3e04d" . "aa1c5f11d808fbb5d275f89b33bb092ec47b0460") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"defaults.rkt"))
