-----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-----
