Back to minisat2 PTS page

Accepted minisat2 1:2.2.0-1 (source amd64)



-----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