Back to cryptominisat PTS page

Accepted cryptominisat 5.11.15+dfsg1-1.1 (source) into unstable



-----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 <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Michael Hudson-Doyle <mwhudson@debian.org>
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-----

Attachment: pgp4Nm7DTvi76.pgp
Description: PGP signature