Your message dated Mon, 18 Jul 2016 13:00:13 +0000 with message-id <e1bp89d-0003bi...@franck.debian.org> and subject line Bug#819884: fixed in z3 4.4.1-0.1 has caused the Debian Bug report #819884, regarding libz3-dev: shared library in dev package to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 819884: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819884 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message ---Source: z3 Source-Version: 4.4.1-0.1 We believe that the bug you reported is fixed in the latest version of z3, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 819...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Fabian Wolff <fabi.wo...@arcor.de> (supplier of updated z3 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 13 Jul 2016 17:33:19 +0200 Source: z3 Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni Architecture: source amd64 all Version: 4.4.1-0.1 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: libz3-4 - theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft Research - java bindings libz3-jni - theorem prover from Microsoft Research - JNI library libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings python-z3 - theorem prover from Microsoft Research - Python bindings z3 - theorem prover from Microsoft Research Closes: 802272 808695 819884 823573 Changes: z3 (4.4.1-0.1) unstable; urgency=medium . * Non-maintainer upload. * New upstream release. * Remove patches that were fixed upstream: - signed_char01 - signed_char02 - signed_char03 - signed_char04 - disable_test - disable_test2 - disable_test3 - disable_test4 (upstream issue has been closed: https://github.com/Z3Prover/z3/issues/210) - fix_conflict * Migrate remaining patches to DEP-3 format. * Rewrite typos.patch to apply to new version of z3. * Add patch fix-dotnet-version.patch to fix a FTBFS with Mono caused by an apparently unsupported version of the .NET framework (Closes: #808695). * Add patch disable-tests.patch to disable three potentially failing tests in src/test/main.cpp. * Install shared libraries into new libz3-4 package (Closes: #819884). * Remove ${shlibs:Depends} and ${misc:Pre-Depends} substitution variables from libz3-dev entry in debian/control. * Install python files directly into /usr/lib/python2.7/dist-packages/ (Closes: #802272). * Clean up debian/rules. * Remove unnecessary version restriction of build dependency cli-common-dev. * Fix debian/copyright: Change MIT to Expat and delete file block that no longer applies (copyright of hamiltonian.py changed). * Move libz3-ocaml-dev into section ocaml. * Add preinst scripts to remove directories from older versions to allow debhelper to install symlinks (Closes: #823573). * Enable hardening flags in debian/rules. Checksums-Sha1: 12e33ec1d5e2cdfaa5c465ee6bb177427449d3d8 2119 z3_4.4.1-0.1.dsc 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz 325959c24831d60bf140ffa1deb3b33f8c499aa5 11852 z3_4.4.1-0.1.debian.tar.xz 9df99b1cbcad571ce38bdddfb10d9fd80b2babe2 74502260 libz3-4-dbgsym_4.4.1-0.1_amd64.deb c6f017c13487264a45a6dbae27d20f7abcae8799 5311562 libz3-4_4.4.1-0.1_amd64.deb a3bd8048a8e02bf8c654b114d86d0789dad18be6 40570 libz3-cil_4.4.1-0.1_amd64.deb 605ec99b53b1157687896a049b0e36d6902f42ae 78682 libz3-dev_4.4.1-0.1_amd64.deb a94847091b74151b5c0589d49e94df1e575e49f6 143362 libz3-java_4.4.1-0.1_all.deb 8a7e688c337946eeac1092cb80d8c9e7b60cf4fd 135460 libz3-jni-dbgsym_4.4.1-0.1_amd64.deb a5efdd23e8ce3ce59952f6e05b2c02e6ba574f75 29558 libz3-jni_4.4.1-0.1_amd64.deb ef292c062679200228034fed5b964b6e571f57f8 193646 libz3-ocaml-dev-dbgsym_4.4.1-0.1_amd64.deb 8f746f1e4e7fb62d5b944960d9cce055657a255a 458098 libz3-ocaml-dev_4.4.1-0.1_amd64.deb afcf4033603a35d77edd7f1082387676f178161b 66932 python-z3_4.4.1-0.1_amd64.deb 8ff6bf0c245e4538a17ed225733dc27bcde10354 74948580 z3-dbgsym_4.4.1-0.1_amd64.deb 5b90df808918751d571ae23770b42f44778e4a68 5321026 z3_4.4.1-0.1_amd64.deb Checksums-Sha256: 69d6fe0e9d3b0b1dc24b1a615410ce7688decc1f99d50ea16c44280b6ae97828 2119 z3_4.4.1-0.1.dsc 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz f1508ac3ccdd0b4a7ec81ec05c243ab5c258ada4ff6402fb9fa1e5f95c7327e3 11852 z3_4.4.1-0.1.debian.tar.xz 10da0f22a2d74b092708e0301e84e4dfd7cb37f21f1a0f3cab5847769b99be3c 74502260 libz3-4-dbgsym_4.4.1-0.1_amd64.deb edd702cbaa3f6c068f4ec8cce15cc592fb15867555027fcc1257629d1f02f757 5311562 libz3-4_4.4.1-0.1_amd64.deb 2de8ba9902bf4e04fbb0d162e68143ba98efd0a522528233043416069f0f581b 40570 libz3-cil_4.4.1-0.1_amd64.deb c50dead91e467ef065b5dac6fb1a114d6ccee4c0b0fcfb5fbb8f8e5a80885322 78682 libz3-dev_4.4.1-0.1_amd64.deb 33baa1f36329b6ac404bd5132e61b6f3b02d2c57eb52c19b9f114e508137d6dc 143362 libz3-java_4.4.1-0.1_all.deb 8507635ee93d715719126b032dd94828797fd585fdd6f3b330d9473b34e291de 135460 libz3-jni-dbgsym_4.4.1-0.1_amd64.deb d30e85b290b43c3cc161d248ba39cdcfccfe1cfb9816ca5208091f1a97a198e3 29558 libz3-jni_4.4.1-0.1_amd64.deb f72c0ab6a4e9870a19c4b1835e4c71b2d3fc2a1613ab534b0d25679a7a153a9d 193646 libz3-ocaml-dev-dbgsym_4.4.1-0.1_amd64.deb 6774bd42b5e6eb396674a570e4d646cffd69275564412105fb507d2d0ae5fb7e 458098 libz3-ocaml-dev_4.4.1-0.1_amd64.deb 489563e0ab85294af84c0bdebcb14c6e002de2695f8e98ab6b07d2f27aa227ee 66932 python-z3_4.4.1-0.1_amd64.deb 3d87de758624b7783bc4a207c5ae29fe414b0549fe10bf57fcc80eaa96a53d25 74948580 z3-dbgsym_4.4.1-0.1_amd64.deb 39df8a677a6a801d020dbd773ec56d6a2d1f43feedc5362c9e5b5caff05d86f3 5321026 z3_4.4.1-0.1_amd64.deb Files: e46ed584d935cca9acf408a38c196d5b 2119 science extra z3_4.4.1-0.1.dsc 4336a9df24f090e711c6d42fd4e2b1fc 3347371 science extra z3_4.4.1.orig.tar.gz e52164ca339d662b13468baee6aa3184 11852 science extra z3_4.4.1-0.1.debian.tar.xz 4613eda7fb450527209e058c5707f3c9 74502260 debug extra libz3-4-dbgsym_4.4.1-0.1_amd64.deb 5e96a67bdaa14354b4f3690b40b9844a 5311562 libs extra libz3-4_4.4.1-0.1_amd64.deb 45ee81db022849079581afd87918b0ec 40570 cli-mono extra libz3-cil_4.4.1-0.1_amd64.deb d7c154e873f65bbf075447299c67f940 78682 libdevel extra libz3-dev_4.4.1-0.1_amd64.deb d8779e75e647bc22f9c8ec8da75b679c 143362 java extra libz3-java_4.4.1-0.1_all.deb b04fcc96da156f72e04bfaf85e1272be 135460 debug extra libz3-jni-dbgsym_4.4.1-0.1_amd64.deb b116fc77f8c4c0573dd1dc6bee7eb794 29558 java extra libz3-jni_4.4.1-0.1_amd64.deb 8677de1f2652fb50ef3da775c11b6d35 193646 debug extra libz3-ocaml-dev-dbgsym_4.4.1-0.1_amd64.deb 8f28e67e237712a16444eaab45ffb62c 458098 ocaml extra libz3-ocaml-dev_4.4.1-0.1_amd64.deb 6f290bb7ee2c04fb4fb7456c79771dc7 66932 python extra python-z3_4.4.1-0.1_amd64.deb bbda0de66620c867de40974910ecaeb4 74948580 debug extra z3-dbgsym_4.4.1-0.1_amd64.deb f04556c13722438752c77e3f7ded9cea 5321026 science extra z3_4.4.1-0.1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXjKiUAAoJEPNPCXROn13Z0FwP/3Yb1WgZIyfDV4f7zi59sEZp Wqmel0hCVdFKa9KOTwpxokMO0uGmS1GSQ0vqsB+j0XYLgfE5yL8loNZyKmh/TLe8 SPMVriB8WM20pR3CVsr6U3CB5dmiIq1YxfFLo6ZVbWUHixD8K4pE60TrrfZzCvJO XWR5pLUkQvNq7wtLZNl6CCJISOB9HuJzHPN0vFXLbUFqiyMxwE3Sn16j3bbnkMtN pagRGLn6PVsUoJ5eOrTibMnVXVBEH2eivRWausawbthWP0s+/r+tgWlgFsm6Cr5L cwfJYEfmgEKbnCKyVHXH4u4ahXa6cxHxeSgIDLkRl993IzahMMPfoSrh+1SgW2qa qHUKchvlfSRN/CImNyQOMpzM7TLM+MiSCUwuymhAouGKgGa0YgNl6wIvlvdKP2ws FEB1mW7LbW/B5AWcRm7mNJCu6dgHK2XvGZgmhz7bJSSHdCKHSZpTPnPT8pYPnQG8 qb+Himd0DQ+MPPFqn8/DEmmFaaRWRqzTz2IJcr3qoJgBc7No3+ZEOdXCsg5RjyVG Mi9ksWynZwPUcivDQzlYHKXYBy5GNFXOfOxR9KY+7KC8haevBOaDeesIFBd9QLiD dBcKegV6NCJStgTWvI9QkJ6mX4P+vGn7QD/ZIL0ZCWMiD72D0puAuODxKei7kkTx pHrIR+leRcnl4IFJrrTM =ljnA -----END PGP SIGNATURE-----
--- End Message ---
