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