("5.0.1.5" ("76b4254de7f7c78f538e863972dc8ae497c22462" . "0ab2ee566c853eaa957a3bdacf8902332bb53058") (collects #"racklog" #"main.rkt") (collects #"datalog" #"eval.rkt") (collects #"racklog" #"lang" #"lang.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"set.rkt") (collects #"datalog" #"ast.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
