("8.15" tarm32nb ("461138775891d4e6b1d08f02feb8d29b2004a37e" . "6f8c953823022e97d3a007ee063228809c24717e") (collects #"datalog" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racklog" #"lang" #"compiler.rkt"))
