("8.15" tarm32nb ("ee66cca5edbe7d993614de97944fd47a96b1f246" . "b51101029bad7d02b4df8c188f6656fcf5d91144") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt"))
