Bug#1102368: mina: Consider removing

[Bastian Germann]

Source: mina
Version: 1.1.7.dfsg-14
Severity: important
Control: block -1 by 1102365

Please consider filing a RM bug for mina. I have filed RM bugs for its
reverse dependencies, so when those are processed, mina will be a leaf
package.