("8.15" tarm64nb ("80cee5f08e1f03a060dd7a2f23fe847ad80b8dcb" . "8a44b3682bad80f13e815dfc5f76d27b7a86500a") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"modcode-noctc.rkt"))
