("8.15" tarm32nb ("e0a4880e483b8558efacb930b67d996e6036ef6a" . "50f1e28922d72f195b8d00f34d325c7921789798") (collects #"scheme" #"base.rkt") (collects #"scheme" #"cmdline.rkt") (collects #"scheme" #"runtime-config.rkt"))
