("5.0.1.5" ("cbc4054c64f2988f4d72c6d082f4b557a34b41f5" . "28c749ca8a76c37462d934bad32f6536ad50e32d") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt"))
