Code review comment for lp:~afrantzis/mir/fix-mircommon-debian-replaces

OK, it does work with:
sudo dpkg --auto-deconfigure -i libmircommon-dev_0.6.0+14.10.20140811-0ubuntu1vv1_amd64.deb libmircommon1_0.6.0+14.10.20140811-0ubuntu1vv1_amd64.deb

Although I'm not sure if apt does auto-deconfigure. The policy manual does say to "Breaks" and "Replaces"...
https://www.debian.org/doc/debian-policy/ch-relationships.html#s-replaces