This package includes"xmines"

-rwxr-xr-x-     root     root      19168 Jul 28 21:35 /usr/X11R6/bin/xminesweep
-r--r--r---     root     root       1428 Jul 28 21:35 /usr/X11R6/man/man1/xminesweep.1x.gz

(c) S.u.S.E. - Last update: 18.08.98 09:06;