("8.15" tarm32nb ("66278f6dced1508eb7fc16c0b03ed7fa94aaf270" . "a0a8ce6ae5b46893dc922907503869d277ec29c7") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"25.rkt") (collects #"srfi" #"provider.rkt"))
