("5.0.2" ("4025cdda027ca31ae19c619253a9332d0920e2ac" . "60c9cc3af389146831db6f5f1a6f11559accec90") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"contract.rkt") (collects #"stepper" #"private" #"shared.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"mzlib" #"file.rkt"))
