Hubert Feyrer <hubert.feyrer@informatik.fh-regensburg.de> writes:

> This sounds suboptimal.

This is one of the problems with the package system we use.

For this case the easiest way out is to not install des in kth-krb4,
since it's not used by anything. Renaming programs only results in
confusion.

/Johan