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

[mwhudson at fastmail.fm]

Dear maintainer,

Please find attached a final version of this patch for the time_t
transition.  This patch is being uploaded to unstable.

Note that this adds a versioned build-dependency on dpkg-dev, to guard
against accidental backports with a wrong ABI.

Thanks!


-- System Information:
Debian Release: trixie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 6.5.0-21-generic (SMP w/16 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)
-------------- 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-02-27 23:03:48.000000000 +0000
@@ -1,3 +1,10 @@
+cryptominisat (5.11.15+dfsg1-1.1) unstable; urgency=medium
+
+  * Non-maintainer upload.
+  * Rename libraries for 64-bit time_t transition.  Closes: #1061910
+
+ -- Michael Hudson-Doyle <mwhudson at debian.org>  Tue, 27 Feb 2024 23:03:48 +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-02-27 23:03:48.000000000 +0000
@@ -4,7 +4,7 @@
 Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Julian R?th <julian.rueth at fsfe.org>,
            Julien Puydt <jpuydt at debian.org>
-Build-Depends: cmake,
+Build-Depends: dpkg-dev (>= 1.22.5), cmake,
                debhelper-compat (=13),
                dh-python,
                help2man,
@@ -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
@@ -58,7 +61,7 @@
 Multi-Arch: same
 Section: libdevel
 Pre-Depends: ${misc:Pre-Depends}
-Depends: libcryptominisat5-5.11 (= ${binary:Version}), ${misc:Depends}
+Depends: libcryptominisat5-5.11t64 (= ${binary:Version}), ${misc:Depends}
 Description: development files for the CryptoMiniSat SAT solver
  CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
  .
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-02-27 23:03:40.000000000 +0000
@@ -0,0 +1 @@
+libcryptominisat5-5.11t64: package-name-doesnt-match-sonames libcryptominisat5-5.11