-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 25 Jul 2010 08:42:10 +0200
Source: minisat2
Binary: minisat2
Architecture: source amd64
Version: 1:2.2.0-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
minisat2 - Fast and lightweight SAT solver
Changes:
minisat2 (1:2.2.0-1) unstable; urgency=low
.
* New upstream version.
- Introduced epoch as new versioning scheme is in use.
- Added Vcs-Git and Vcs-Browser control fields.
- Bumped SO version as all functions have been moved into a namespace.
- Added patch 9bd8749.
* Switch to dpkg-source 3.0 (quilt) format
* Bumped standards version to 3.9.0 (no changes)
Checksums-Sha1:
7b43e5c61aa21f7253169132b159eca1f6d75a3a 1110 minisat2_2.2.0-1.dsc
1df7325ef208f39b44ba8f29df1c0dad4a404e7a 43876 minisat2_2.2.0.orig.tar.gz
9f09b7d782dcc4a1103a983bcd7736e6042b000d 9503 minisat2_2.2.0-1.debian.tar.gz
b9f410d1f7cff0265683d4a5ec8d66b93aba034a 109742 minisat2_2.2.0-1_amd64.deb
Checksums-Sha256:
f1e3d25b21695014f21de31a54db72d056fb38429cb5f4d430803a7363f1e90a 1110 minisat2_2.2.0-1.dsc
26957f499f5e557cb45cdbb30e8402b7e033ca2080a98bcb14c769028284fb06 43876 minisat2_2.2.0.orig.tar.gz
811da7fef1cb00527b362aec8f8104a4733733c8cc86937bc4cf6b987016ab89 9503 minisat2_2.2.0-1.debian.tar.gz
ce9033003c2b0fe6e267359c95d78bcfff2345971a70c4c7bfe6d0052d217d05 109742 minisat2_2.2.0-1_amd64.deb
Files:
d486094be9b01fc61816ace606d533a8 1110 science extra minisat2_2.2.0-1.dsc
a27b001af99c07308fe1b1ad94e402d8 43876 science extra minisat2_2.2.0.orig.tar.gz
52126d9a43d6a6274b5e15be86f194fe 9503 science extra minisat2_2.2.0-1.debian.tar.gz
dae2537d63bec44e8afdfa0e50bde31f 109742 science extra minisat2_2.2.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkxL3eAACgkQvx6dH3bVKsQFmACgtelsqtD1zV/VP6XejTbbBCn3
/pUAniQ5EuTLF6p6ejMYvVgjdF3I1727
=8g3q
-----END PGP SIGNATURE-----
Accepted:
minisat2_2.2.0-1.debian.tar.gz
to main/m/minisat2/minisat2_2.2.0-1.debian.tar.gz
minisat2_2.2.0-1.dsc
to main/m/minisat2/minisat2_2.2.0-1.dsc
minisat2_2.2.0-1_amd64.deb
to main/m/minisat2/minisat2_2.2.0-1_amd64.deb
minisat2_2.2.0.orig.tar.gz
to main/m/minisat2/minisat2_2.2.0.orig.tar.gz
