("8.15" tarm32nb ("efbefd02f64aceb8420ce4bf70f7c62f09032731" . "701ca3fbbe05241c756a042f726c3dcac063c2a6") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"match.rkt") (collects #"mzscheme" #"main.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt"))
