("8.15" tarm32nb ("2edd53b9b36a59196f9ddde34b406ae6dc7f40da" . "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"))
