Package: libz3-dev Version: 4.4.0-5 Severity: serious Justification: Policy 8.1
The libz3-dev package currently contains a shared library, libz3.so.4. According to Debian policy, such a library must be in a package "whose name changes whenever the SONAME of the shared library changes", normally following the pattern "librarynamesoversion" or "libraryname-soversion". In this case, the name for the package containing the shared library might be "libz3-4". Of course, the ".so" symlink should still be in the -dev package, so your .install files should probably contain something like: libz3-4.install: debian/tmp/usr/lib/*/libz3.so.* libz3-dev.install: debian/tmp/usr/include/* debian/tmp/usr/lib/*/libz3.so -- System Information: Debian Release: stretch/sid APT prefers testing APT policy: (900, 'testing'), (600, 'stable'), (500, 'unstable-debug'), (1, 'experimental-debug'), (1, 'experimental'), (1, 'unstable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.4.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=nb_NO.UTF-8, LC_CTYPE=nb_NO.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages libz3-dev depends on: ii libc6 2.22-4 ii libgcc1 1:5.3.1-13 ii libgomp1 5.3.1-13 ii libstdc++6 5.3.1-13 libz3-dev recommends no packages. libz3-dev suggests no packages. -- no debconf information
