("8.15" tarm64nb ("df0dfc4fc046c370a48ff52ec354f5011b5cde6d" . "9d5c097bb72f283176c95c01b8bcf0a5d3ee2a66") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
