("8.15" tarm64nt ("297ad5c139e471898527cd9c1ed22f8ec86682be" "bb2d173f10b4ea7656e9e42723e3f8e9324efbdd" . "0f3c1a40313ff37e165e907c110ed526ef2a7c7b") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"list-predicates.rkt") (collects #"racket" #"runtime-config.rkt"))
