This is a multi-part MIME message sent by reportbug.


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 <mwhudson@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: