Back to sat4j PTS page

Accepted sat4j 2.2.3-1 (source all)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 08 Feb 2011 18:36:34 +0100
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.2.3-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
Changes: 
 sat4j (2.2.3-1) unstable; urgency=low
 .
   * New upstream release
   * Changed build-date from SQUEEZE to WHEEZY
Checksums-Sha1: 
 7715a681c028f5d241cd579a94b910959c74634e 1140 sat4j_2.2.3-1.dsc
 af8791e8b01c4a8daf30461d0eeb03f5e7e3444b 13817326 sat4j_2.2.3.orig.tar.gz
 53e745a14b80d29653f99b87527333942b33fe21 11252 sat4j_2.2.3-1.debian.tar.gz
 b46b6bb84a5eaa68adbf7393f331e7b8eccf45b2 541128 sat4j_2.2.3-1_all.deb
Checksums-Sha256: 
 99b28b3ad42f89cb9f69a80e8b666c3dcd73fc4b055ed06a1567970df7e173bf 1140 sat4j_2.2.3-1.dsc
 52a697bfcd9f59ab07a2b4f4350be58a60758872128ddef2ff4e29a9a711fc57 13817326 sat4j_2.2.3.orig.tar.gz
 5ef6b116c5b22295119f4fc50197dfda9032fc1157446954ea1662d2492aa670 11252 sat4j_2.2.3-1.debian.tar.gz
 abd3942dc8a2f4ff20923d560f813b7f1681f9c9a07a15f2ee8fa225390ae56f 541128 sat4j_2.2.3-1_all.deb
Files: 
 ac3681ac60f15f92db4522e5499eddde 1140 science optional sat4j_2.2.3-1.dsc
 f3a23d360b7ec27c38950b8bb6322c54 13817326 science optional sat4j_2.2.3.orig.tar.gz
 37e547529a44fe66d42e9d2cc2db6c2e 11252 science optional sat4j_2.2.3-1.debian.tar.gz
 de0e5c3d19be01c6d120d27dbbfe27d0 541128 science optional sat4j_2.2.3-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk1RiygACgkQvx6dH3bVKsRPtQCfSVq9qpj0Z109j3uHrvLSgGy1
RdQAoK19jXFvoc9uipjFqxncP79HCdQQ
=E2fn
-----END PGP SIGNATURE-----


Accepted:
sat4j_2.2.3-1.debian.tar.gz
  to main/s/sat4j/sat4j_2.2.3-1.debian.tar.gz
sat4j_2.2.3-1.dsc
  to main/s/sat4j/sat4j_2.2.3-1.dsc
sat4j_2.2.3-1_all.deb
  to main/s/sat4j/sat4j_2.2.3-1_all.deb
sat4j_2.2.3.orig.tar.gz
  to main/s/sat4j/sat4j_2.2.3.orig.tar.gz