On Thu, Mar 24, 2016 at 11:54 AM, Emilio Pozuelo Monfort <po...@debian.org> wrote: > On 21/03/16 19:59, Luca Boccassi wrote: >> Given the change of the -dev package name here, should I roll back and b-d >> again on libzmq3-dev? I don't mind doing another upload if it's the right >> thing. > > Yes that'd be fine, but there's no rush. I still would be happier with libzmq5-dev to keep it consistent with the library name. Sure, once zeromq is removed, it can be libzmq-dev - I do not see a reason to switch back to libzmq3-dev meanwhile.
Cheers, Laszlo/GCS
