("8.15" tarm32nb ("9de20b89e22efa9a5266bb11370aa4c02efd0fab" . "6815ed0a0a36141362a672d85075417dd2de7c7b") (collects #"datalog" #"eval.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racklog" #"lang" #"empty.rkt") (collects #"racklog" #"lang" #"reader.rkt") (collects #"racklog" #"main.rkt"))
