("5.0.1.5" ("0409e2eee2f9928717ecc5e1c2be32cba5e00f3e" . "60287e8a9d82553e0f623d133c7412347e3f2a21") (collects #"datalog" #"main.rkt") (collects #"racket" #"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 #"datalog" #"scribblings" #"tutorial.scrbl") (collects #"datalog" #"scribblings" #"racket.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
