("8.15" tarm32nb ("5e6d360da4b500c9cc9523635d532d2961b83cce" . "dc8f12584807cd5e4e1dbf9f198252cea5ce6727") (collects #"drracket" #"private" #"syncheck" #"syncheck-local-member-names.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt"))
