-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 26 Feb 2024 16:47:37 +0000 Source: minisat2 Binary: minisat minisat-dbgsym Architecture: source Version: 1:2.2.1-8 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat - Fast and lightweight SAT solver Changes: minisat2 (1:2.2.1-8) unstable; urgency=low . * Disable parallel builds to fix occasional FTBFS Checksums-Sha1: 50f078c0c4c1ada9eb0546492d0f8d771476407d 1729 minisat2_2.2.1-8.dsc 6bc6024c8b1cc283c0b79c688c634bea5a390290 9864 minisat2_2.2.1-8.debian.tar.xz Checksums-Sha256: 3fdc8955b094d6835276f476d876783854944fbf27b4885feb8c9d0042b2b359 1729 minisat2_2.2.1-8.dsc f89f4f9c4ddf57bb7cdf3aa77810b9042e2aa824197ebc5bf8faa5fda5d1745d 9864 minisat2_2.2.1-8.debian.tar.xz Files: 4e8a80b405ca661abadf8e06c5cfb075 1729 science optional minisat2_2.2.1-8.dsc 262370b7be51773ccbedea58c59bd1df 9864 science optional minisat2_2.2.1-8.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXcwZkOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTENEA/7BztN/BLU2xgLtUuH3N8m3jh6/MoBubd7mEpT Nbi4HMSSlj+Tztqe+BvxovY4bBJIIbJkWz2ILYO8F4j05G595XZS5V1BzUqUbPaP Fp+zQLAtN1gga7746DhVmYmmPYtEGxcxTpkGNiyqbwDHDc8Hj7djfZyEsiQXEOsW 8YfMBo6N0wPcxcr834sTIh4rcWnAZGXWknKIs4WYXmlYuvRBWdPGk3MGQHe5is8U d/iP7yaHmxnS1NyQExbrFpgXCa7Jc37pgbVx90PgIzDTNMaq0xAmmAPe2KBvhje/ airao6KSE6SLHreNUHAsWJrjU+yHqq0P8EH5zFEYAq3ltNfC5dpe+jU6ydEOcOZg zv1pv+g4IP9q7PxvAgF3qbEvi8u90h0ZaN+pgQWq+MHK25ZXea3sScQmhDBD3zf/ WnbXEj659rGikV2J2l3aBcusN5TE1jw/Wj7TeiuWNHLtNWymPdEFUe5LZnH5VSYp +jUWLLeaxpA5543QX02ItmpilAz3oSmdxpLOrZweRIaWXCqVGcfGWcyi89oGv1V1 K2wFur4XLUNzpyliy/Z0oMbHnIWgOzlHhstFYFCWSRQfw43ObWH3bsmdyRrf6Hhb cquokY2AbEoDrI4/YO9fEMvrf5d0m+W4OJkA9m9CuUrnxa18HRfQp8I+IZCc0bKP 8rB3gSo= =bqPk -----END PGP SIGNATURE-----
