("5.0.1.5" ("a4ae825b335a27fe872281e529f87a0500fbecc5" . "54e9469256ca8a93e59336957af479df91daf547") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"process.rkt") (collects #"setup" #"dirs.rkt"))
