("5.0.1.5" ("237ee7f3265693a469b70c273b9cb5bed85604c4" . "9bfe2531f6e204cb37ab261584f3980ad4f5888b") (collects #"syntax" #"module-reader.rkt") (collects #"datalog" #"parse.rkt") (collects #"racklog" #"lang" #"compiler.rkt"))
