Your message dated Mon, 28 Sep 2015 16:00:35 +0000
with message-id <e1zgaqx-0005zw...@franck.debian.org>
and subject line Bug#799641: fixed in ppl 1:1.1-7
has caused the Debian Bug report #799641,
regarding ppl: ABI transition needed for libstdc++ v5
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.)
--
799641: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=799641
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: ppl
Version: 1:1.1-6
Severity: serious
Justification: ABI break since stable
Tags: sid stretch
User: debian-...@lists.debian.org
Usertags: libstdc++-cxx11
Background[1]: libstdc++6 introduces a new ABI to conform to the
C++11 standard, but keeps the old ABI to not break existing binaries.
Packages which are built with g++-5 from experimental (not the one
from testing/unstable) are using the new ABI. Libraries built from
this source package export some of the new __cxx11 or B5cxx11 symbols,
dropping other symbols. If these symbols are part of the API of
the library, then this rebuild with g++-5 will trigger a transition
for the library.
In the case of ppl, at least float_mpq_to_string() appears to change
its ABI in this way, so a transition does appear to be needed.
The transition normally consists of renaming the affected library
packages, adding a v5 suffix (libppl13v5). The SONAME should not be
changed when doing this.
If an upgrade to a new upstream SONAME is already planned, and that
SONAME has never been available in Debian compiled with g++-4, then an
alternative way to carry out the transition would be to bump the
SONAME. However, the libstdc++ transition has been going on for a
month already, and anything that makes it take longer is bad for Debian,
so introducing new upstream code is not desired at this stage.
These follow-up transitions for libstdc++ are not going through exactly
the normal transition procedure, because many entangled transitions are
going on at the same time, and the usual ordered transition procedure
does not scale that far. When all the C++ libraries on which this library
depends have started their transitions in unstable if required, this
library should do the same, closing this bug; the release team will deal
with binNMUs as needed.
Looking at the build-dependencies of ppl, there doesn't seem to be any
C++, so this transition seems to be ready to go.
The package might be NMU'd if there is no maintainer response. The
release team have declared a 2 day NMU delay[2] for packages involved
in the libstdc++ transition, in order to get unstable back to a usable
state in a finite time.
Regards,
S
[1] https://wiki.debian.org/GCC5#libstdc.2B-.2B-_ABI_transition
[2] https://lists.debian.org/debian-devel-announce/2015/08/msg00000.html
--- End Message ---
--- Begin Message ---
Source: ppl
Source-Version: 1:1.1-7
We believe that the bug you reported is fixed in the latest version of
ppl, 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 799...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (supplier of updated ppl 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: Mon, 21 Sep 2015 12:27:25 +0100
Source: ppl
Binary: libppl13v5 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source i386 all
Version: 1:1.1-7
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl13v5 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Closes: 799641
Changes:
ppl (1:1.1-7) unstable; urgency=medium
.
* Rename C++ library package for the libstdc++ v5 transition. Thanks Simon
McVittie for providing the necessary patch and chasing all this up.
Closes: #799641.
* Run gzip with -n to enable reproducible builds
Checksums-Sha1:
bac90fb334367248f8488c039f3687298651fada 2141 ppl_1.1-7.dsc
d898f2520fd517e1f10ec9ee5479d3ef016eb68a 11800 ppl_1.1-7.debian.tar.xz
341e2476281fd1287c6be8f5fcb5037c3346c617 954922 libppl-c4_1.1-7_i386.deb
55d4ae12c45aac36e7f1ce8f7d282433122c4f42 2033914 libppl-dev_1.1-7_i386.deb
df3c747af5e4bfad361cebc4267c919617eb5ccb 6647774 libppl-doc_1.1-7_all.deb
b481ce7a040ef28d85ed2dc9d36605d3d61be714 2539674 libppl-swi_1.1-7_i386.deb
7ac3a0515ba7c2ac841327a9bb2fd1a0ab3851be 626608 libppl13v5_1.1-7_i386.deb
33091f7a518d125d3da9a50e6b6a6708c341e7c8 202476 ppl-dev_1.1-7_i386.deb
Checksums-Sha256:
f5395263c528430da2a8240ab4e93164321232a009673bb4bf71c219bf2c1ef9 2141
ppl_1.1-7.dsc
62aaa3fb14f673e711b7360d675e83837a9b923d89d621f5df19162ffe920a5c 11800
ppl_1.1-7.debian.tar.xz
6ebdba166acaf7661df53240f49578d77c052d2bb9bc833b586b53ab7fedc82b 954922
libppl-c4_1.1-7_i386.deb
16e9f310b6ca92b53eb03b0038c8fbf170d7ef80d3c1823f712158ef2753d0a3 2033914
libppl-dev_1.1-7_i386.deb
6aec35ae2dcfecd9a335ea1fb2a127505177b969bf1985ee836d0c014b2ee7ad 6647774
libppl-doc_1.1-7_all.deb
fb029dd0e599b56c3d52fd3c8c5637a2b292a75c9ee8b020103beceff7ccd73d 2539674
libppl-swi_1.1-7_i386.deb
f988d5cb95a4a97da77418c4289124e9d161a41391977e7c778da6028cac8a06 626608
libppl13v5_1.1-7_i386.deb
d810afbedec42c3b3e5cc4551c3a85b8e267cfeabe5f0adde9481f63720f9cd9 202476
ppl-dev_1.1-7_i386.deb
Files:
c5b7e6432a6af2ecd79e1303d67e290b 2141 libs optional ppl_1.1-7.dsc
914a9b570c4c5648416c74026e600a45 11800 libs optional ppl_1.1-7.debian.tar.xz
260b72625a26608cf61581a01b39de18 954922 libs optional libppl-c4_1.1-7_i386.deb
fe26ca580adb84be07d0d88435af29a8 2033914 libdevel optional
libppl-dev_1.1-7_i386.deb
0088f4b398b973d2c9b887f01bed94b1 6647774 doc optional libppl-doc_1.1-7_all.deb
c631b4dda8b5d0f9f738eafada90874c 2539674 libs optional
libppl-swi_1.1-7_i386.deb
f49eb35cf962582f5d1439847ddc75a2 626608 libs optional libppl13v5_1.1-7_i386.deb
c37cb8df4d1fe071fbd27a7d0c9f816c 202476 devel optional ppl-dev_1.1-7_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJWBN0UAAoJEDu/g5M27Kkx4XMQAIKm3CMYHMCFP7WWpmHFeQRG
MOwOHTjS662NgqQH/7jFPlFM3wYIlkzszsEZGzA0l2X/UgRfI/TXtYDjLliBxAyk
PabCl+oIrdM95Td4sSMmifv+p9eddkvU2g1l9k/legcEgP+tyEP8lXsDzVmFhU8p
KDEtZDPJx0J8McPYsTGJMnE0Bu9NxEEib+yUur0tqh60Cc3D8UIRQQN3ag875qPB
G4VSlG3Ueee/6FsnnSgH6jCsx4CSI76Act8M/G/1seX5EL8wcnx2Iz0ldjj9l6fZ
0VEyGEFBUch9YaMl0obl9rpCeBhdDkx48v7Pz9glfUwZdcVJFYsimtGhiGpSUPma
2/VAZdDrX+ms/3W2vBcZ44vUCHSB0QCfuBS9qUXai7a4REgEeE7OeaN9wcu9c9JL
0dlM7m61dwXBRFqxdqTJmAGBvqI/6CoennIlMzp7ProF8x+wud5kITYxRxQ2OlKY
B5rJKA4pBtS3uD1dYt+y5DbQKXLErxiLyQ+hdgotgmUue9i3NBVNvoFDssJUc9Jf
YsvHD94WySBjUX03gmjykSpb2CBTP1esApm7QTx9F57rSAbWUwUAXy+q0FdkJihQ
4QuafFrpFhRogm70s0u2I9stBFZw8SaD5w1WYFBsUDimCk3T0D0yTR/nyaw5avR9
86uW04KUM/6zgB4TrosF
=v2L8
-----END PGP SIGNATURE-----
--- End Message ---
