("8.15" tarm32nb ("63ee2538669ff0901c31169401a370999c8759cf" . "488cab23311791a987ff035ff0ed91ed5beb2360") (collects #"datalog" #"main.rkt") (collects #"datalog" #"scribblings" #"utils.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual.rkt"))
