Control: tags -1 + moreinfo
* Jakub Wilk <jw...@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