-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Feb 2024 11:23:45 +0000
Source: minisat2
Binary: minisat minisat-dbgsym
Architecture: source
Version: 1:2.2.1-6
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: 878693 900023
Changes:
minisat2 (1:2.2.1-6) unstable; urgency=low
.
* Bumped standards version to 4.6.2 (no changes)
* Remove transitional minisat2 package (closes: #878693)
* Enable verbose build logs by default: thanks Helmut Grohne
<helmut@subdivi.de> for the patch (closes: #900023)
Checksums-Sha1:
06caca8822610629cc050eff88b8bda77bd19783 1778 minisat2_2.2.1-6.dsc
694905ce940ac1c576c3ad8e3da73a12992dd0d3 9396 minisat2_2.2.1-6.debian.tar.xz
Checksums-Sha256:
9b200298a9384ff46674c48b89576c83edb5a5940cd91343e6342c9e8a8812b9 1778 minisat2_2.2.1-6.dsc
48c91f9d64348b2403967071210f7fdf91dc460655836072f0994d0a382e488f 9396 minisat2_2.2.1-6.debian.tar.xz
Files:
191823f069786efb377bf580ab9c9164 1778 science optional minisat2_2.2.1-6.dsc
274774f690355ed697f95ae898e27fed 9396 science optional minisat2_2.2.1-6.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXUlM8OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTENUg/9HziFGP3TdkM431X9FdLX2gbPfzCEcwP76xR6
Ccw1RSZ3N3/rRnYl74a7qOcPOr0aVPSbhvw8/4awR6PcuVqIvYO1aShXx6cHsU6Y
6eggGV3GCejy+0OC7nosCPxRhdB//BYA/oeE1d75ayfEPWCrvimVLCoafrEbxE5W
v0vhYiUi3kwJ+bg+dkrg/Djg4zBoxCavVzsL9jM7aledGe9U/zXPvTCZAMqojLTl
BUxOQCnA0kTfa+nmfwridR7rlq3jeImQCRQqDo8Tx2D2iOcaU51JgwKwEm3HG6ql
Jxkz3yOdLTu3dqRRjTtNf1AdJvHQG+IBUOKdPuV886HG446LOlAgt3HUvK5mkqrr
a9ZOk19IJL+uNV4vIMJizzGkkO0WMFDfttjCyzzrOGn1ojz8dxWWZ3XWhwjA7L5c
I1dr2Uj0mj6d24jdH6McOMsMD/Trtw3hLH3pL4oAGqe5wwLOnl+vb3yOmaW+yAtm
PTXIfuh74mn9w0JQQbGRBCpQUNQLWoX7C/d3wLTvTew76zfI4kV2+6wlCrwz0Amq
PQBG/pYt2yUWKGNZD/Wt5DiLsymNiWD4Z2iF2Ctr/7AQyZ4Yf/H3g3v/aG5b4G+U
4bEhCZPmiHK73AsoLtHl8pRZrmJdn2lAVydXwOlQhxjhll7kx30DF0P49OInjTvf
2Kh+BDQ=
=q5q+
-----END PGP SIGNATURE-----
Attachment:
pgpioNXGdYVWH.pgp
Description: PGP signature