("8.15" tarm32nb ("66d685229afd93de98feda6b0e560b9e95f85ba7" . "125dbaeb50c7b6198bca4b3d9f4f6e1d3fce531f") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
