cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.changes ACCEPTED into experimental

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 30 Jan 2024 09:57:18 +0000
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.11t64 libcryptominisat5-5.11t64-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
Architecture: source amd64
Version: 5.11.15+dfsg1-1.1~exp1
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Michael Hudson-Doyle <mwhudson at debian.org>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.11t64 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Changes:
 cryptominisat (5.11.15+dfsg1-1.1~exp1) experimental; urgency=medium
 .
   * Non-maintainer upload.
   * Rename libraries for 64-bit time_t transition.
Checksums-Sha1:
 dec6bcafd1b9c625c5f0b5a5b2492246c4644f37 2508 cryptominisat_5.11.15+dfsg1-1.1~exp1.dsc
 99f45d37c1b94cb5593b77439993b50be6c3d82e 5604 cryptominisat_5.11.15+dfsg1-1.1~exp1.debian.tar.xz
 c91844dea3d7592ab4f75948900eb9086d658084 1033736 cryptominisat-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 a62465fb40c6fcc97bcb191e38ca8fa71dd4139f 10706 cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.buildinfo
 623f50ffa4737c55e93c9ecd9d09f9e54ca68a5b 80684 cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.deb
 2c0ccabf9c16eeceee887e3e9adf9655fbf5df7d 7252580 libcryptominisat5-5.11t64-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 e61131bbb8b13431cf9377b9289a038ccd86da31 506100 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1~exp1_amd64.deb
 79db6a93770f10e76c5f7ff43dadbdf1f8c5c7ce 18668 libcryptominisat5-dev_5.11.15+dfsg1-1.1~exp1_amd64.deb
 92e9e9960fd27af818b2db28c4a74965bd44ae94 13769100 python3-cryptominisat-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 465c6bedd536e89866b5eed3acb2cefcdb5f5839 591244 python3-cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.deb
Checksums-Sha256:
 c6dff7dea336463d00fcf9ffd529880e53f2b0ac42bd8611c19ec8655d82963b 2508 cryptominisat_5.11.15+dfsg1-1.1~exp1.dsc
 d149219ba757841feb74d91764dc7d126f0892706f239b2a35779efceb81fc8a 5604 cryptominisat_5.11.15+dfsg1-1.1~exp1.debian.tar.xz
 bcf456330259426c7fcec99efe9eaeccd9205fcc32a9136734ed5445900f612d 1033736 cryptominisat-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 e2664f2b164cf227dd4618635f7a10867e3ab06c93800055092d1b63b63b54c0 10706 cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.buildinfo
 eadef8ec77d71dff829c0f9f269f7185adfe8942832aa362a23a02a7dea03250 80684 cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.deb
 69afac11a00b1718417f40932ef2fa6cdbff12bcfcbfa45bbbf4d7d436b781a8 7252580 libcryptominisat5-5.11t64-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 57937eda16668db55c7918ea66efdc0ef83883dcd31942ac0313e2cb09f9c876 506100 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1~exp1_amd64.deb
 0fcdcc68ba4a0d1b4a4804c7387dea9c3f22c630e3ff8ec5f472c197fa70a2c3 18668 libcryptominisat5-dev_5.11.15+dfsg1-1.1~exp1_amd64.deb
 6323d2cc820939fc4284a537379aefc67819aa041f08f8459b70cda41a274173 13769100 python3-cryptominisat-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 3c5a379da6f4155346b5f170a767325ed9d5620cf190a91909e6b2adf92fc9ff 591244 python3-cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.deb
Files:
 e7d38d7b5da458f2be480dc890aa8402 2508 math optional cryptominisat_5.11.15+dfsg1-1.1~exp1.dsc
 3f4b780dad8835a2d68f2a6fe813c7b6 5604 math optional cryptominisat_5.11.15+dfsg1-1.1~exp1.debian.tar.xz
 e4af99cc67d4b035debd41eb1ec0195f 1033736 debug optional cryptominisat-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 6185f34d22febd58abc41bed6fa5c344 10706 math optional cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.buildinfo
 00f3397db7fbeba4bc5494bd0d8133f5 80684 math optional cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.deb
 ab941ceb1954d03ab63ee837e796e0bc 7252580 debug optional libcryptominisat5-5.11t64-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 05ad3a73635d2faa73a74ac18d68c09f 506100 libs optional libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1~exp1_amd64.deb
 ce366005abb75a31588522d2db88463c 18668 libdevel optional libcryptominisat5-dev_5.11.15+dfsg1-1.1~exp1_amd64.deb
 e40f13a484c7c3bb1aeb11b2ef798fb5 13769100 debug optional python3-cryptominisat-dbgsym_5.11.15+dfsg1-1.1~exp1_amd64.deb
 6258d4bafa6603b5175304b024dbe409 591244 python optional python3-cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEiiBE+E9xaoW3f/djEd9ClMyjmJMFAmW4yQ8UHG13aHVkc29u
QGRlYmlhbi5vcmcACgkQEd9ClMyjmJM5xhAApasAsC7rBrnZt/fn6T6qt27tkln8
DKiu73RVxHGXx00vMj9QmVLnr0Ddhj2qmxnnRTyGQJCzi/DJ5QmQF7xmNcigF60x
TuV79QPXV5FoTQVqPJ/fgzcd7bYKDay+Pi7y2nwedRryKj4SVfRqn0++TC2nf3Y1
AxxSxrviLkbCwpbOkXSrqYqok7A2fcY0Ag0vnbEUGmZIprtW8sYsPJGJyOgDhmf0
xemTO9qqG62IciANy+g7+ViTB7SqIJ/uGLXdqggziJPgxJK7BQvU49LVkMKDr3+1
Axit04VflRwCHldd9/fhmePZDcqe+RDXWQvm/gAKNBgaRf7v4aWxj+oN6ZmDckJY
4BYCtzG3suVs2mkaCfghvXxcsvaewJ3XbQtUYZnYUUZwHRuioF3LeCYiz7slLjg1
u54huXFC1kkfUjPb1zCRjfNyVyW1ngBQbiOi9UMANoQckMGkRgKhm7wgQvCjPkTB
s/fNVeun/DZGZHRsq3Q/tlhtJ78ZJTvVqAe1XYxDTj+WeQQVbEwhT65/ziIX0oOy
BCaBYLKgorK28iodbThw2enXPfMv5jBu1FZTtBdeqcIyHREErMxK6oHStrfFOtxy
fSKvvv8S00xBTaqGTnWh/LQ2mg172BK49Kzhvr3VcXJ046bScqMsEt2xTHYa5khg
INngCXoGXPNNW7E=
=Glw6
-----END PGP SIGNATURE-----