This package includes"xdemine"

-rwxr-xr-x-     root     root      26368 Jul 24 11:30 /usr/X11R6/bin/xdemineur
-r--r--r---     root     root       1379 Jul 24 11:30 /usr/X11R6/man/man1/xdemineur.1x.gz

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