("8.15" tarm32nb ("5dab1b9175642d0657d57d4fd45412f7c76db39b" . "ae1513a8615404582d967fdb065754a4b5e67f1c") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"%3a39.rkt") (collects #"srfi" #"provider.rkt"))
