("8.15" tarm32nb ("6b4b1da36e713ab91b3319f43d11920421a7aff6" . "cfca8a7bdf61b0c4d9df0d557ec8bc2a70287779") (collects #"datalog" #"parse.rkt") (collects #"datalog" #"private" #"compiler.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
