("5.0.1.5" ("823c639f144283553c88dc58ad8b3c07fafc14e7" . "eaf51d34ac26d028aae1251843a7daa2d6378ec8") (collects #"syntax" #"parse.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"datalog" #"stx.rkt") (collects #"datalog" #"runtime.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
