("5.0.1.5" ("74779044429d32f4bdf75ed7956866361a389671" . "444414c2f67066673ff641208edc1a0856e627f0") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"games" #"lights-out" #"boards.rkt"))
