("8.15" tarm32nb ("092926f76fafd4e1b704639e5aa13fd62aaec969" . "70b0a30fa6af588409f94bc30dbd42d5d574b577") (collects #"datalog" #"parse.rkt") (collects #"datalog" #"private" #"compiler.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"module-reader.rkt"))
