("8.15" tarm32nb ("d594c6857b6f2fd71eacf155369aec92931cb4c4" . "c2e45a8bf6ae01860acb7dd735a549e817ea983b") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"45.rkt") (collects #"srfi" #"provider.rkt"))
