("5.0.1.5" ("a19a1c8eb7e583bc808e01435a9012726569966a" . "67e75951bcc02e828433c79128ed47d2953baece") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"unit.rkt") (collects #"dynext" #"file-sig.rkt") (collects #"dynext" #"file-unit.rkt"))
