("8.15" tarm32nb ("b771b7fb75034c788c176116fa0f9f0b854abcf1" . "a6c3cfbdab2508765308a12a906543b1b4f22eb7") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"27" #"random-bits.rkt") (collects #"srfi" #"provider.rkt"))
