("8.15" tarm32nb ("c77532bd4972afe1c622572787d7932216c95b93" . "ced7cd2c7cd1635d1e96388e56c43c59fcd820c1") (collects #"rnrs" #"base-6.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"mpair.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"srfi" #"13.rkt"))
