@avsm see https://github.com/ocaml/opam-repository/pull/1888#commitcomment-5996252

I think this can be merged. Ubuntu precise doesn't seem to have zmq4.