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)
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 <mwhud...@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