Accepted minisat+ 1.0-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 19 Feb 2017 17:03:19 +0100
Source: minisat+
Binary: minisat+
Architecture: source
Version: 1.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
minisat+ - solver for pseudo-Boolean constraints
Changes:
minisat+ (1.0-4) unstable; urgency=medium
.
* debian/tests/control: add Depends: @ for test "upstream".
Checksums-Sha1:
468dafd387bb5fcc9f38d3843484bd3402c8fc8d 1984 minisat+_1.0-4.dsc
4baba450eee1a843bcacfab3677399e8d07eae56 4176 minisat+_1.0-4.debian.tar.xz
e5808cf94f06f33f395b40119f04d4a75d4bb1cc 4479 minisat+_1.0-4_source.buildinfo
Checksums-Sha256:
bcd43117559b74bd955ec63892c62d4ef1c7bcc1cb952d5c488150fec7985433 1984 minisat+_1.0-4.dsc
bd91de9376032c4044a42dfcf777edf482e2eeb64065a8d60df11ed8b6df70ea 4176 minisat+_1.0-4.debian.tar.xz
5561122d4cae7aed20996e01d0df929236c22459db0b64ee6f180f932757d4cb 4479 minisat+_1.0-4_source.buildinfo
Files:
7adfeb2af63c6fa176bb551e6c5c9bbb 1984 science extra minisat+_1.0-4.dsc
6e588cb5c64209f6e5720282ecdbdea6 4176 science extra minisat+_1.0-4.debian.tar.xz
17ed4b58983fc36b431556fd42d26b81 4479 science extra minisat+_1.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlit75AACgkQdFxHZtTK
zf+UcQ/+Kyxjmlv9F6J3cwTu+N6FXWwMSXKxAJgdMCNR45KE9FtTSU4w3MM4H9EL
6GeKstB2ZU/Wg9wdqrC0N/AIVOk+yID4FUgPxXz0kYiiCVrOr2L3kDNklpEnF3zL
omuBVUziso3v1xSz4P3pS2MkDW3XqlgIeGMsvuTRWMnJA7ZyZ0m71dZTLQH8Y3Sd
z4MY0/TNzdyaSSRWmhQCEYFJCvCFdbfXoYj9fjDXD78RDr2uicwLtzPWLA31SeM2
8bSK8jRbwMw1/PIKXjD4CLF6NZFBfj09coDu8+8/KLKSqw74pLJGvm/GNwOXCq75
oQpbTM6udj0QNIrw3/X01PVmp0gu/hWKLUfsUDkiGuvcdLwpIQpl+RYh2eCsTdND
GY0D5qwaTQt/e4x2HtspgC6veaSCjBG5gdy750asEEza2tKg8Tc4lXho85bdwFAj
I1EdWFPKCdA5QK9I3DDxJ2M9TbNZwYND8s7shrL/ru4TnbCoGV06r3BcB+DUedr9
Kp2jSCjTVJ8ymHyI2+ZQd9AqGRQP6gphR0ziuQSltlQ1KWYi8TIWl+5WELW8u2tU
QeSXDSFSiZAb4ZriTlNaGTfWwBOU9ooiiDSuhgWQ5VhBbbEzPerMqOkxVRahaITh
SgxsZfpY4r2db70hz6rUJGVht84ze09/3PWrYUQ4l0UsBxkr/8E=
=xiki
-----END PGP SIGNATURE-----