("8.15" tarm32nb ("ba37a495bdee8ea7e07afbf3d729a843d5b6dd12" . "d8113140d4a1ab460f328572247698d66d6a01f8") (collects #"lang" #"posn.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"defmacro.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"file.rkt") (collects #"mzlib" #"include.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"match.rkt") (collects #"mzlib" #"math.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"mzlib" #"shared.rkt") (collects #"mzlib" #"string.rkt") (collects #"mzlib" #"thread.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mzscheme" #"main.rkt"))
