("5.0.1.5" ("8075edda006a4ac362a8f706d1b29f05e804effb" . "79763d655779639228cb4444ec310f0fe8a97592") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"unit.rkt") (collects #"drscheme" #"tool.rkt") (collects #"stepper" #"stepper-tool.rkt") (collects #"stepper" #"xml-tool.rkt") (collects #"stepper" #"view-controller.rkt") (collects #"stepper" #"private" #"shared.rkt"))
