("6.5" ("765024c6918ef566283e5d551094664d6c369c99" . "f2371638538e40767b0f2f77513e55c1be010fe9") (collects #"datalog" #"eval.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racklog" #"lang" #"empty.rkt") (collects #"racklog" #"lang" #"reader.rkt") (collects #"racklog" #"main.rkt"))
