Accepted sat4j 2.3.0-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 16 Jun 2011 18:16:35 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.0-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
sat4j - Efficient library of SAT solvers in Java
Closes: 630720
Changes:
sat4j (2.3.0-1) unstable; urgency=low
.
* New upstream release (closes: #630720)
* Bumped standards version to 3.9.2 (no changes)
Checksums-Sha1:
32ac4f6a14fc69b36319af2aa0046df837093578 1140 sat4j_2.3.0-1.dsc
86e147144cb51f61bc4b5536a856ab10ce587737 13832168 sat4j_2.3.0.orig.tar.gz
cbaa5b0629521947288b9ff46cdedecd0190a455 11337 sat4j_2.3.0-1.debian.tar.gz
dab612d624945b1018e2c92c2a7d2984a98e4d0d 591906 sat4j_2.3.0-1_all.deb
Checksums-Sha256:
8017e7dce79fc26fce22a894f7233429317e9ddd5c6c383ee58f0f2c3ba35c48 1140 sat4j_2.3.0-1.dsc
8d3f774265c653563c87442dbe8f0d0aebbfd5a60784d61572b57d7934fc1b84 13832168 sat4j_2.3.0.orig.tar.gz
fa74acb496d6601b5408b760a31ff42212b5ce7519dec66fb9d7b8bb1074b5e3 11337 sat4j_2.3.0-1.debian.tar.gz
8f8f52954340ee07afebf81ca9bca03fd3cea41ee3809fb52dca1c85b3246f12 591906 sat4j_2.3.0-1_all.deb
Files:
8862d104f1db84255fda132059aa7915 1140 science optional sat4j_2.3.0-1.dsc
2d37e27f91f104cbe36eca60ebf96344 13832168 science optional sat4j_2.3.0.orig.tar.gz
048b50b79e213be0fa28b1c9b73c6c59 11337 science optional sat4j_2.3.0-1.debian.tar.gz
34fbb60125b3c3464a2fc830668759e9 591906 science optional sat4j_2.3.0-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk36Mh8ACgkQvx6dH3bVKsQ0ZgCgiwUA6c4U+F8/YRetHBw49t4J
A10An3jKEo04ZZ8FZHK1BRnS7O+FuL0A
=KRJ5
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.3.0-1.debian.tar.gz
to main/s/sat4j/sat4j_2.3.0-1.debian.tar.gz
sat4j_2.3.0-1.dsc
to main/s/sat4j/sat4j_2.3.0-1.dsc
sat4j_2.3.0-1_all.deb
to main/s/sat4j/sat4j_2.3.0-1_all.deb
sat4j_2.3.0.orig.tar.gz
to main/s/sat4j/sat4j_2.3.0.orig.tar.gz