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-gui
In case they matter, this needs to be addressed first. Please remove the
moreinfo tag once that is done.
Thorsten
