Back to sat4j PTS page

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