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