("5.0.1.5" ("04d463fa3982d40d987e1b8178632cc5ff53a423" . "21a44643a9230fdda6a7c6d5edb190b05bb99dc0") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"datalog" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"bnf.rkt") (collects #"datalog" #"scribblings" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
