("8.15" tarm64nb ("a14521470e4ff8b487cfdacaadcb9685c8ae36ff" . "d28c33c9448b7748e42b7bc62d571b5a7594cba5") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
