("5.0.1.5" ("4025cdda027ca31ae19c619253a9332d0920e2ac" . "df0a21f0f25ba4f08f7ac5e8796220d5f36d8550") (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"))
