("5.0.1.5" ("c074b8921767eb0375b72075c011720d49a62569" . "991e1d382b5891a470e30a01ace83a7474a39deb") (collects #"syntax" #"module-reader.rkt") (collects #"datalog" #"parse.rkt") (collects #"datalog" #"private" #"compiler.rkt"))
