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

[mwhudson at debian.org]

Source: cryptominisat
Followup-For: Bug #1061910

Apologies, thanks to operator error (i.e. I messed up) the diff attached to
this bug is not the one that was uploaded to experimental. Please see the patch
attached to this message.


-- 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 09:57:18.000000000 +0000
@@ -1,3 +1,10 @@
+cryptominisat (5.11.15+dfsg1-1.1~exp1) 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 09:57:18 +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 09:57:17.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
@@ -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	2024-01-30 09:57:17.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 09:57:17.000000000 +0000
@@ -0,0 +1 @@
+libcryptominisat5-5.11t64: package-name-doesnt-match-sonames libcryptominisat5-5.11