Control: tags -1 + moreinfo * Jakub Wilk <jwilk@debian.org>, 2016-07-09, 20:33:
Yes, it does look like a bug in Lintian. Apparently it gets confused by the -ocaml-dev package:$ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb [nothing] $ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb libz3-ocaml-dev_4.4.1-0.1_amd64.deb W: libz3-4: dev-pkg-without-shlib-symlink usr/lib/x86_64-linux-gnu/libz3.so.4 usr/lib/x86_64-linux-gnu/libz3.so
Actually, the culprit is that libz3-dev must depend libz3-4, but it doesn't.
(OTOH, libz3-ocaml-dev does depend on libz3-4, which tricked Lintian into thinking this is where the .so symlink should be.)
-- Jakub Wilk