("8.15" tarm32nb ("40971b1a1d91f5808e6ea9ae9cafb0201c2cca89" . "409d375946c2efd81af58c3b75a40524848bc7d3") (collects #"datalog" #"ast.rkt") (collects #"datalog" #"eval.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"set.rkt") (collects #"racklog" #"lang" #"lang.rkt") (collects #"racklog" #"main.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
