-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 22 Feb 2024 10:47:31 +0000 Source: minisat2 Binary: minisat minisat-dbgsym Architecture: source Version: 1:2.2.1-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat - Fast and lightweight SAT solver Closes: 1064366 Changes: minisat2 (1:2.2.1-7) unstable; urgency=low . * Fix FTCBFS: ensure sh target is required by all. Thanks Helmut Grohne <helmut@subdivi.de> for debugging (closes: #1064366) Checksums-Sha1: f67b98742e76128fb328984029fdd4274aa9efc6 1729 minisat2_2.2.1-7.dsc 2ae30d30f904e916755f1463816314ce9167044b 9816 minisat2_2.2.1-7.debian.tar.xz Checksums-Sha256: 0858cd8828e61ab6e8c2ec0316b0e627be6bc445319566629cbb52f5b36c2980 1729 minisat2_2.2.1-7.dsc 6c17862fb9410d4158ff5f69ee0dcbd81bcc0b1c3ceea48778c4265b2c5f0559 9816 minisat2_2.2.1-7.debian.tar.xz Files: 8ba904570939840b6c4b388897545b15 1729 science optional minisat2_2.2.1-7.dsc 3b5f980249f996c339407dcd671af139 9816 science optional minisat2_2.2.1-7.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXXKewOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFVqg//Y9aw8MrT3blrn5aZIEE81XmHJhOYArdnc9NH 2C/TXP7Hn9O4psNCdwKaDGKTffdKI5hyZcGPguQocvPSCnPjWUhX5q9G3xqIsHp1 KFFcycfsfJtLG/GO2jel+9vG0SEHaGMf7JtQlEV6ysh2tJ1BiJX5WllhvWQkkUSB BtD7FUPEJWXn3/kPesT3CQC47dG9K681AQ2LSuFKDbW1KmKSqb1cVnwmfEALxRW1 Sp3rao8BaDVPzPdXf54x1CO1EKcQCtCevFv1AXrBdeM7zzVpSPqIEGst09d+dCNJ z+fEC5gPsv8u29AsdA+F4uLb5+K3Cd4JZSQk1vZitf/4ZCEzMjVsUY36DbFGT/77 +WG9NTQz3yTFIW4lPZnIUhp3yz0O+j1ByegZGlbNhQDSVwbffHGdkYCBnkIwTVps TFpUzZua+aVhqEg9a1fIxQ7rEkFk/O7P/B7U2kzUPoWjpMR7hPMPuuiK4zA/ZB6c UPnckjUPd23GUZ59kWq1WR10Pff2W33zTReFo8c5jfWzXdKq/CCMeJOFZmGDaSnW 6HQ2TzNiRqOv2gCetnOi7kqRKX+4Dat02ntAK8xHNTmFaVfn9qrRNe4EnBJ9hjiB liCBdxFSvaHfmjQ5Xw30CYGHcjKBijzOGZk/w8S2noMJggbc8GnsKf+8rPerrveD eNXUnFQ= =P+Rb -----END PGP SIGNATURE-----
