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)
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 <mwhud...@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-maintain...@lists.alioth.debian.org>
Uploaders: Julian Rüth <julian.ru...@fsfe.org>,
Julien Puydt <jpu...@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
