("5.0.1.5" ("7550c5ca24a3374a3e7b661bcad567148a76866f" . "1a5e4a9a868a92aad8570bec4e6724028ed8728b") (collects #"racket" #"unit" #"lang.rkt") (collects #"scheme" #"class.rkt") (collects #"drscheme" #"tool.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"pconvert.rkt") (collects #"string-constants" #"main.rkt") (collects #"framework" #"main.rkt") (collects #"mrlib" #"switchable-button.rkt") (collects #"stepper" #"private" #"my-macros.rkt") (collects #"stepper" #"private" #"mred-extensions.rkt") (collects #"stepper" #"private" #"shared.rkt") (collects #"lang" #"stepper-language-interface.rkt") (collects #"scheme" #"pretty.rkt") (collects #"stepper" #"xml-sig.rkt") (collects #"stepper" #"drracket-button.rkt") (collects #"scheme" #"unit" #"lang" #"reader.rkt"))
