("8.15" tarm32nb ("5948099ae1b2f42b27c209028459db2759b16e39" . "caade1c7f305e143f0b4da3684758829fbb3caea") (collects #"racket" #"date.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
