Bug#1061910: cryptominisat: NMU diff for 64-bit time_t transition

[mwhudson at debian.org]

Source: cryptominisat
Version: 5.11.15+dfsg1-1
Severity: serious
Tags: patch pending
Justification: library ABI skew on upgrade
User: debian-arm at 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
cryptominisat 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 cryptominisat
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'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 6.5.0-15-generic (SMP w/16 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_WARN, 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)
-------------- next part --------------
diff -Nru cryptominisat-5.11.15+dfsg1/debian/changelog cryptominisat-5.11.15+dfsg1/debian/changelog
--- cryptominisat-5.11.15+dfsg1/debian/changelog	2023-12-14 09:26:35.000000000 +0000
+++ cryptominisat-5.11.15+dfsg1/debian/changelog	2024-01-30 01:26:22.000000000 +0000
@@ -1,3 +1,10 @@
+cryptominisat (5.11.15+dfsg1-1.1) experimental; urgency=medium
+
+  * Non-maintainer upload.
+  * Rename libraries for 64-bit time_t transition.
+
+ -- Michael Hudson-Doyle <mwhudson at debian.org>  Tue, 30 Jan 2024 01:26:22 +0000
+
 cryptominisat (5.11.15+dfsg1-1) unstable; urgency=medium
 
   * New upstream release.
diff -Nru cryptominisat-5.11.15+dfsg1/debian/control cryptominisat-5.11.15+dfsg1/debian/control
--- cryptominisat-5.11.15+dfsg1/debian/control	2023-12-14 09:26:35.000000000 +0000
+++ cryptominisat-5.11.15+dfsg1/debian/control	2024-01-30 01:26:22.000000000 +0000
@@ -19,7 +19,10 @@
 Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git
 Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat
 
-Package: libcryptominisat5-5.11
+Package: libcryptominisat5-5.11t64
+Provides: ${t64:Provides}
+Replaces: libcryptominisat5-5.11
+Breaks: libcryptominisat5-5.11 (<< ${source:Version})
 Architecture: any
 Multi-Arch: same
 Section: libs
diff -Nru cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11.install cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11.install
--- cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11.install	2023-12-14 09:26:35.000000000 +0000
+++ cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11.install	1970-01-01 00:00:00.000000000 +0000
@@ -1 +0,0 @@
-/usr/lib/*/libcryptominisat5.so.*
diff -Nru cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.install cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.install
--- cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.install	1970-01-01 00:00:00.000000000 +0000
+++ cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.install	2023-12-14 09:26:35.000000000 +0000
@@ -0,0 +1 @@
+/usr/lib/*/libcryptominisat5.so.*
diff -Nru cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.lintian-overrides cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.lintian-overrides
--- cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.lintian-overrides	1970-01-01 00:00:00.000000000 +0000
+++ cryptominisat-5.11.15+dfsg1/debian/libcryptominisat5-5.11t64.lintian-overrides	2024-01-30 01:26:22.000000000 +0000
@@ -0,0 +1 @@
+libcryptominisat5-5.11t64: package-name-doesnt-match-sonames libcryptominisat5-5.11