("8.15" tarm32nb ("34f6b44d1b124f12261d4c8c97c58a159c332f5d" . "459e6a0bef2d63ec6896b08ac0707370f2e95b8d") (collects #"drscheme" #"tool.rkt") (collects #"framework" #"main.rkt") (collects #"lang" #"htdp-langs-interface.rkt") (collects #"mred" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"file.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scheme" #"unit.rkt") (collects #"string-constants" #"main.rkt") (collects #"test-engine" #"test-display-gui.rkt"))
