("8.15" tarm32nb ("28bfa6042484032ea686ea58956c21acc1affdad" . "f4e7a14fcd91cac6b59b133f91d1ab18bd341937") (collects #"rnrs" #"main-6.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt"))
