Bug#981997: Conflicting monodoc-gudev-manual binary built also by Package: gudev-sharp-3.0

[Logan Rosen]

control: severity -1 serious

Per packaging policy section 3.1, "[e]very package must have a name
that’s unique within the Debian archive." Bumping the severity to
serious accordingly.