Source: gecode
Version: 6.2.0-5
Severity: serious
Tags: patch pending
Justification: library ABI skew on upgrade
User: debian-...@lists.debian.org
Usertags: time-t
Dear maintainer,
As part of the 64-bit time_t transition required to support 32-bit
architectures in 2038 and beyond
(https://wiki.debian.org/ReleaseGoals/64bit-time), we have identified
gecode as a source package shipping runtime libraries whose ABI
either is affected by the change in size of time_t, or could not be
analyzed via abi-compliance-checker (and therefore to be on the safe
side we assume is affected).
To ensure that inconsistent combinations of libraries with their
reverse-dependencies are never installed together, it is necessary to
have a library transition, which is most easily done by renaming the
runtime library package.
Since turning on 64-bit time_t is being handled centrally through a change
to the default dpkg-buildflags (https://bugs.debian.org/1037136), it is
important that libraries affected by this ABI change all be uploaded close
together in time. Therefore I have prepared a 0-day NMU for gecode
which will initially be uploaded to experimental if possible, then to
unstable after packages have cleared binary NEW.
Please find the patch for this NMU attached.
If you have any concerns about this patch, please reach out ASAP. Although
this package will be uploaded to experimental immediately, there will be a
period of several days before we begin uploads to unstable; so if information
becomes available that your package should not be included in the transition,
there is time for us to amend the planned uploads.
-- System Information:
Debian Release: trixie/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 6.5.0-14-generic (SMP w/8 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
diff -Nru gecode-6.2.0/debian/changelog gecode-6.2.0/debian/changelog
--- gecode-6.2.0/debian/changelog 2020-08-09 05:34:08.000000000 +0000
+++ gecode-6.2.0/debian/changelog 2024-01-31 08:42:06.000000000 +0000
@@ -1,3 +1,10 @@
+gecode (6.2.0-5.1) experimental; urgency=medium
+
+ * Non-maintainer upload.
+ * Rename libraries for 64-bit time_t transition.
+
+ -- Lukas Märdian <sl...@debian.org> Wed, 31 Jan 2024 08:42:06 +0000
+
gecode (6.2.0-5) unstable; urgency=medium
* Revert to dh compat 10 to cope with cdbs and dh_systemd_enable.
diff -Nru gecode-6.2.0/debian/control gecode-6.2.0/debian/control
--- gecode-6.2.0/debian/control 2020-08-09 05:33:37.000000000 +0000
+++ gecode-6.2.0/debian/control 2024-01-31 08:42:06.000000000 +0000
@@ -11,7 +11,7 @@
Package: libgecode-dev
Section: libdevel
Architecture: any
-Depends: libgecode49 (= ${binary:Version}), libgecodegist49 (=
${binary:Version}), libgecodeflatzinc49 (= ${binary:Version}), ${misc:Depends},
${shlibs:Depends}, qtbase5-dev, libmpfr-dev, libboost-dev
+Depends: libgecode49t64 (= ${binary:Version}), libgecodegist49t64 (=
${binary:Version}), libgecodeflatzinc49t64 (= ${binary:Version}),
${misc:Depends}, ${shlibs:Depends}, qtbase5-dev, libmpfr-dev, libboost-dev
Suggests: libgecode-doc
Description: generic constraint development environment
Gecode is a toolkit for developing constraint-based systems and
@@ -44,7 +44,10 @@
.
This package has the API documentation and examples.
-Package: libgecode49
+Package: libgecode49t64
+Provides: ${t64:Provides}
+Replaces: libgecode49
+Breaks: libgecode49 (<< ${source:Version})
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
@@ -62,7 +65,10 @@
level of efficiency as finite domain and integer set variables that
come predefined with Gecode.
-Package: libgecodegist49
+Package: libgecodegist49t64
+Provides: ${t64:Provides}
+Replaces: libgecodegist49
+Breaks: libgecodegist49 (<< ${source:Version})
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
@@ -78,7 +84,10 @@
programs. They have been separated from the main Gecode library
package to avoid pulling in Qt as a dependency.
-Package: libgecodeflatzinc49
+Package: libgecodeflatzinc49t64
+Provides: ${t64:Provides}
+Replaces: libgecodeflatzinc49
+Breaks: libgecodeflatzinc49 (<< ${source:Version})
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
diff -Nru gecode-6.2.0/debian/libgecode49.install
gecode-6.2.0/debian/libgecode49.install
--- gecode-6.2.0/debian/libgecode49.install 2019-12-15 14:14:26.000000000
+0000
+++ gecode-6.2.0/debian/libgecode49.install 1970-01-01 00:00:00.000000000
+0000
@@ -1,7 +0,0 @@
-debian/tmp/usr/lib/*/libgecodeint*.so.49.0
-debian/tmp/usr/lib/*/libgecodefloat*.so.49.0
-debian/tmp/usr/lib/*/libgecodekernel*.so.49.0
-debian/tmp/usr/lib/*/libgecodeminimodel*.so.49.0
-debian/tmp/usr/lib/*/libgecodesearch*.so.49.0
-debian/tmp/usr/lib/*/libgecodeset*.so.49.0
-debian/tmp/usr/lib/*/libgecodesupport*.so.49.0
diff -Nru gecode-6.2.0/debian/libgecode49.lintian-overrides
gecode-6.2.0/debian/libgecode49.lintian-overrides
--- gecode-6.2.0/debian/libgecode49.lintian-overrides 2019-12-15
14:14:26.000000000 +0000
+++ gecode-6.2.0/debian/libgecode49.lintian-overrides 1970-01-01
00:00:00.000000000 +0000
@@ -1,7 +0,0 @@
-# The library uses templates heavily and every new upstream release
-# gets a new soname. There's no harm in putting all the libraries in
-# the same package.
-libgecode49: package-name-doesnt-match-sonames libgecodefloat49 libgecodeint49
libgecodekernel49 libgecodeminimodel49 libgecodesearch49 libgecodeset49
libgecodesupport49
-
-# C++ type is not a typo
-libgecode49: spelling-error-in-changelog long long (duplicate word) long
diff -Nru gecode-6.2.0/debian/libgecode49t64.install
gecode-6.2.0/debian/libgecode49t64.install
--- gecode-6.2.0/debian/libgecode49t64.install 1970-01-01 00:00:00.000000000
+0000
+++ gecode-6.2.0/debian/libgecode49t64.install 2019-12-15 14:14:26.000000000
+0000
@@ -0,0 +1,7 @@
+debian/tmp/usr/lib/*/libgecodeint*.so.49.0
+debian/tmp/usr/lib/*/libgecodefloat*.so.49.0
+debian/tmp/usr/lib/*/libgecodekernel*.so.49.0
+debian/tmp/usr/lib/*/libgecodeminimodel*.so.49.0
+debian/tmp/usr/lib/*/libgecodesearch*.so.49.0
+debian/tmp/usr/lib/*/libgecodeset*.so.49.0
+debian/tmp/usr/lib/*/libgecodesupport*.so.49.0
diff -Nru gecode-6.2.0/debian/libgecode49t64.lintian-overrides
gecode-6.2.0/debian/libgecode49t64.lintian-overrides
--- gecode-6.2.0/debian/libgecode49t64.lintian-overrides 1970-01-01
00:00:00.000000000 +0000
+++ gecode-6.2.0/debian/libgecode49t64.lintian-overrides 2024-01-31
08:42:06.000000000 +0000
@@ -0,0 +1,8 @@
+# The library uses templates heavily and every new upstream release
+# gets a new soname. There's no harm in putting all the libraries in
+# the same package.
+libgecode49t64: package-name-doesnt-match-sonames libgecodefloat49
libgecodeint49 libgecodekernel49 libgecodeminimodel49 libgecodesearch49
libgecodeset49 libgecodesupport49
+
+# C++ type is not a typo
+libgecode49t64: spelling-error-in-changelog long long (duplicate word) long
+libgecode49t64: package-name-doesnt-match-sonames libgecode49
diff -Nru gecode-6.2.0/debian/libgecodeflatzinc49.install
gecode-6.2.0/debian/libgecodeflatzinc49.install
--- gecode-6.2.0/debian/libgecodeflatzinc49.install 2019-12-15
14:14:26.000000000 +0000
+++ gecode-6.2.0/debian/libgecodeflatzinc49.install 1970-01-01
00:00:00.000000000 +0000
@@ -1 +0,0 @@
-debian/tmp/usr/lib/*/libgecodeflatzinc*.so.49.0
diff -Nru gecode-6.2.0/debian/libgecodeflatzinc49t64.install
gecode-6.2.0/debian/libgecodeflatzinc49t64.install
--- gecode-6.2.0/debian/libgecodeflatzinc49t64.install 1970-01-01
00:00:00.000000000 +0000
+++ gecode-6.2.0/debian/libgecodeflatzinc49t64.install 2019-12-15
14:14:26.000000000 +0000
@@ -0,0 +1 @@
+debian/tmp/usr/lib/*/libgecodeflatzinc*.so.49.0
diff -Nru gecode-6.2.0/debian/libgecodeflatzinc49t64.lintian-overrides
gecode-6.2.0/debian/libgecodeflatzinc49t64.lintian-overrides
--- gecode-6.2.0/debian/libgecodeflatzinc49t64.lintian-overrides
1970-01-01 00:00:00.000000000 +0000
+++ gecode-6.2.0/debian/libgecodeflatzinc49t64.lintian-overrides
2024-01-31 08:42:06.000000000 +0000
@@ -0,0 +1 @@
+libgecodeflatzinc49t64: package-name-doesnt-match-sonames libgecodeflatzinc49
diff -Nru gecode-6.2.0/debian/libgecodegist49.install
gecode-6.2.0/debian/libgecodegist49.install
--- gecode-6.2.0/debian/libgecodegist49.install 2019-12-15 14:14:26.000000000
+0000
+++ gecode-6.2.0/debian/libgecodegist49.install 1970-01-01 00:00:00.000000000
+0000
@@ -1,2 +0,0 @@
-debian/tmp/usr/lib/*/libgecodedriver*.so.49.0
-debian/tmp/usr/lib/*/libgecodegist*.so.49.0
diff -Nru gecode-6.2.0/debian/libgecodegist49t64.install
gecode-6.2.0/debian/libgecodegist49t64.install
--- gecode-6.2.0/debian/libgecodegist49t64.install 1970-01-01
00:00:00.000000000 +0000
+++ gecode-6.2.0/debian/libgecodegist49t64.install 2019-12-15
14:14:26.000000000 +0000
@@ -0,0 +1,2 @@
+debian/tmp/usr/lib/*/libgecodedriver*.so.49.0
+debian/tmp/usr/lib/*/libgecodegist*.so.49.0
diff -Nru gecode-6.2.0/debian/libgecodegist49t64.lintian-overrides
gecode-6.2.0/debian/libgecodegist49t64.lintian-overrides
--- gecode-6.2.0/debian/libgecodegist49t64.lintian-overrides 1970-01-01
00:00:00.000000000 +0000
+++ gecode-6.2.0/debian/libgecodegist49t64.lintian-overrides 2024-01-31
08:42:06.000000000 +0000
@@ -0,0 +1 @@
+libgecodegist49t64: package-name-doesnt-match-sonames libgecodegist49
