Your message dated Tue, 27 Feb 2024 23:34:30 +0000
with message-id <[email protected]>
and subject line Bug#1061910: fixed in cryptominisat 5.11.15+dfsg1-1.1
has caused the Debian Bug report #1061910,
regarding cryptominisat: NMU diff for 64-bit time_t transition
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1061910: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061910
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cryptominisat
Version: 5.11.15+dfsg1-1
Severity: serious
Tags: patch pending
Justification: library ABI skew on upgrade
User: [email protected]
Usertags: time-t
Dear maintainer,
As part of the 64-bit time_t transition required to support 32-bit
architectures in 2038 and beyond
(https://wiki.debian.org/ReleaseGoals/64bit-time), we have identified
cryptominisat as a source package shipping runtime libraries whose ABI
either is affected by the change in size of time_t, or could not be
analyzed via abi-compliance-checker (and therefore to be on the safe
side we assume is affected).
To ensure that inconsistent combinations of libraries with their
reverse-dependencies are never installed together, it is necessary to
have a library transition, which is most easily done by renaming the
runtime library package.
Since turning on 64-bit time_t is being handled centrally through a change
to the default dpkg-buildflags (https://bugs.debian.org/1037136), it is
important that libraries affected by this ABI change all be uploaded close
together in time. Therefore I have prepared a 0-day NMU for cryptominisat
which will initially be uploaded to experimental if possible, then to
unstable after packages have cleared binary NEW.
Please find the patch for this NMU attached.
If you have any concerns about this patch, please reach out ASAP. Although
this package will be uploaded to experimental immediately, there will be a
period of several days before we begin uploads to unstable; so if information
becomes available that your package should not be included in the transition,
there is time for us to amend the planned uploads.
-- 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
01:26:22.000000000 +0000
@@ -1,3 +1,10 @@
+cryptominisat (5.11.15+dfsg1-1.1) experimental; urgency=medium
+
+ * Non-maintainer upload.
+ * Rename libraries for 64-bit time_t transition.
+
+ -- Michael Hudson-Doyle <[email protected]> Tue, 30 Jan 2024 01:26:22 +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 01:26:22.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
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-01-30 01:26:22.000000000 +0000
@@ -0,0 +1 @@
+libcryptominisat5-5.11t64: package-name-doesnt-match-sonames
libcryptominisat5-5.11
--- End Message ---
--- Begin Message ---
Source: cryptominisat
Source-Version: 5.11.15+dfsg1-1.1
Done: Michael Hudson-Doyle <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cryptominisat, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Hudson-Doyle <[email protected]> (supplier of updated cryptominisat
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Feb 2024 23:03:48 +0000
Source: cryptominisat
Architecture: source
Version: 5.11.15+dfsg1-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team
<[email protected]>
Changed-By: Michael Hudson-Doyle <[email protected]>
Closes: 1061910
Changes:
cryptominisat (5.11.15+dfsg1-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Rename libraries for 64-bit time_t transition. Closes: #1061910
Checksums-Sha1:
72b8b14720813e2da2d0e7a76f7f969c6585ee6f 2510
cryptominisat_5.11.15+dfsg1-1.1.dsc
a6c100ce4d2a02d77c72d90b3717d62e221f920e 5608
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz
ba6a9324e85b267249be4ebe35c4e50bd8c030b7 8691
cryptominisat_5.11.15+dfsg1-1.1_source.buildinfo
Checksums-Sha256:
f50c176a23de5e2aa050c186dff9bf550a45e86b12466e85bf84a7dc0eae60d5 2510
cryptominisat_5.11.15+dfsg1-1.1.dsc
0d4ef16ec6129ffbdcfcdea20b5990c0dc18f5f4d56f7ddb8574406ac8cc515d 5608
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz
d863035ce81b480cf8dbf693ee89cc9fc25161f00d7df4c22adf59e7d9c97311 8691
cryptominisat_5.11.15+dfsg1-1.1_source.buildinfo
Files:
271d7111fd96daf1bd48ee4a086ce31d 2510 math optional
cryptominisat_5.11.15+dfsg1-1.1.dsc
4852edae230e19dd7b9756bf5bef2107 5608 math optional
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz
290343b1d35bf58160a30c0eb81973c2 8691 math optional
cryptominisat_5.11.15+dfsg1-1.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCAAyFiEEiiBE+E9xaoW3f/djEd9ClMyjmJMFAmXea9kUHG13aHVkc29u
QGRlYmlhbi5vcmcACgkQEd9ClMyjmJO37xAAkY78K4LbEDLlsU1oIbnOdesgLpV9
gRlGoCfz/pkhgMLP3PIinkPv6NgDDkt4fPC0c/C18+PM9AtAe7kLJR+PeLmGMR3W
YP3P+/1cR6Ex5gJOshRhiYhw+oUKe8ccScIHD82EWMxI4rcR4A5i+Ca2zvdjvSai
RcIafFEbQ6SrUJjrY+ytrE+OZ69rWKyD32ZJjr7SaPt0C/JJL+F84E3+2jlHJUqA
gR116BEXFg/w6UuwhKGyT9oh7DWBAsqwCGasVjToKYCAzheLvjCh/oiy+EYjKXec
Oy6mCE0VhIqQ3oZieQBJlAOz+VeGTol+UkffONDwqIZqzEx9Hrhcvhgr4tAhBnKv
FmRdISajp9YE29H0D6LURzY9mVMF5jCMvqW8NFBW+TrQhwE+KNHb3KS6iSQw4KRM
tK76yRC42ymkksqARAIfLyx9cSkCQefXyprKd4/Hxv1mUU493WUmZJ2n5DjJ0iVJ
JKsX/cJH/yR2nN4T3/71UkR7MniUkwlZN8y5nZl/oHARjpJuYI2xB0oWjmiN6eci
xm5Z0dA/YkRWzcaKSPUUDM3QTzL334B1K1fX+Rqj5uz3yl5Byn0fEaVglSynzD/x
1aNDhyNi5uuAwe+b1R3tF9+yHW9s+3NAQNPad5sC3oGzbRW2uJ722A5fv90GwAGz
veQq9f9qIOBRMxk=
=9+Ya
-----END PGP SIGNATURE-----
pgpRYNy9dvK42.pgp
Description: PGP signature
--- End Message ---