("8.15" tarm32nb ("4d163ae36ccf40541adfbcf9ea213fe89edb1075" . "555cdca69c3a7f96251325e2c862c72dd40e8379") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt"))
