Code review comment for lp:~alan-griffiths/mir/move-miral-to-mir-no-more-miral-packages

Now that we've worked out the incantations for versioning, I'd weakly prefer that libmiral-dev still exist as a real package, rather than be folded into libmirserver-dev. It makes it easier to tell if something is depending on stable interfaces or not.