Bug#730751: seqan-apps and mason: error when trying to install together

2013-11-29 Thread Andreas Tille
Hi Manuel, here we are with another naming conflict (thanks to Ralf for your checking bot which only needed 12h to detect a problem ;-)). Manuel, if I understood you correctly it is OK to rename the symlink from /usr/bin/mason to /usr/bin/seqan-mason . Is this correct? I think we

Bug#730751: seqan-apps and mason: error when trying to install together

2013-11-29 Thread Holtgrewe, Manuel
...@bugs.debian.org Cc: Holtgrewe, Manuel; Filippo Rusconi Subject: Re: Bug#730751: seqan-apps and mason: error when trying to install together Hi Manuel, here we are with another naming conflict (thanks to Ralf for your checking bot which only needed 12h to detect a problem ;-)). Manuel, if I understood you

Bug#730751: seqan-apps and mason: error when trying to install together

2013-11-28 Thread Ralf Treinen
Package: mason,seqan-apps Version: mason/1.0.0-12.3 Version: seqan-apps/1.4.01-1 Severity: serious User: trei...@debian.org Usertags: edos-file-overwrite Date: 2013-11-29 Architecture: amd64 Distribution: sid Hi, automatic installation tests of packages that share a file and at the same time do