-----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-----
Attachment:
pgpN0wO8MO7HL.pgp
Description: PGP signature