Accepted cryptominisat 5.11.15+dfsg1-1.1~exp1 (source amd64) into experimental
- To: debian-experimental-changes@lists.debian.org, debian-devel-changes@lists.debian.org
- Subject: Accepted cryptominisat 5.11.15+dfsg1-1.1~exp1 (source amd64) into experimental
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 30 Jan 2024 10:22:58 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: cryptominisat_5.11.15+dfsg1-1.1~exp1_amd64.changes
- Debian-source: cryptominisat
- Debian-suite: experimental
- Debian-version: 5.11.15+dfsg1-1.1~exp1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=et+BTkmabnBn6tIxWaDiZaJqeBW0fNzjUyLTP0NGSHg=; b=ZHsiZqdV3qbjnX9LBpsVXDk2FN LrHa3s2x9fOwj2rEjyYMrDVNcrW+Sqw1E7ReRJgM8ACVX455TpW0tkr/+hPY6lUjNqEUTLLWQNv3+ Os4vwoN/JSzsD2b5yx7eGKFEQJGukktY5w/30OMjCIJyijO++muP9/qViZ3rnk5taVrKBKj2ugjYw wN1P50F56dW2qbtnaIkvO9JedyLzkteQgspTv0qSYviKtbXIz9uYadypocIhPEsRnf3wgAmGv6HnQ TfnDyTXH5W9+ZzlsaQYQWJZpoaBQ695a49b7SBtWMPet5zh1gVCttZ9uIgmlwbakOHLsPNAcb9HOL WyVQzm4Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rUlGc-00AWXa-G7@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----