("8.15" tarm32nb ("8a11502c124433f8ad9e3fa7a9e81b6cc7e58e16" . "355db523f68dcbf818f24e3e81373313742489fc") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"5.rkt"))
