Control: tags -1 + moreinfo Hi Bastian,
there are reverse dependencies that need to be taken care of: Checking reverse dependencies... # Broken Depends: mono-tools: mono-profiler mono-tools-guiIn case they matter, this needs to be addressed first. Please remove the moreinfo tag once that is done.
Thorsten