("8.15" tarm32nb ("9b829c9744404e37bbc26a202318cab723ee8f9a" . "f53be33fc964352bf0b9fbbf15ffa8e785c5d5cc") (collects #"r6rs" #"private" #"inline-rules.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt"))
