("8.15" tarm32nb ("1758816b2c693a2609b680158f70bf310cddfd72" . "4c364d5b3b6e6df4e512d3a7b4dae30360b7074e") (collects #"parser-tools" #"cfg-parser.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
