kevin set package mine_detector summary to Mine Detector, a mine-finding game To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/mine_detector