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