Accepted sat4j 2.3.1-1 (source all)

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

Format: 1.8
Date: Sun, 04 Mar 2012 01:38:25 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.1-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: 635357
Changes: 
 sat4j (2.3.1-1) unstable; urgency=low
 .
   * New upstream release
   * Bumped standards version to 3.9.3 (no changes)
   * Added link to existing (but CC-BY-NC-ND) documentation
     (closes: #635357)
   * No longer requires maxsat-as-patch
Checksums-Sha1: 
 e9c3d2c0bb397db1e9f32b34033c71584dc1ffbd 1184 sat4j_2.3.1-1.dsc
 5a92ca19e56fccad8102b43dbfb025a46341ed30 13920474 sat4j_2.3.1.orig.tar.gz
 6f43dbbaa540574763744ad4833fcf55ef4ff47b 11606 sat4j_2.3.1-1.debian.tar.gz
 4460a18772fd54ceb01be3df13a9d6678454cee2 997618 sat4j_2.3.1-1_all.deb
Checksums-Sha256: 
 882047dd624e827a3a4fbb4c144530440fe6b4a8a6101e821a294da0bc52cc9c 1184 sat4j_2.3.1-1.dsc
 0d5bf44a715c7eda732336745e202e22a758e9580fe84f7fdef6317136b69245 13920474 sat4j_2.3.1.orig.tar.gz
 67c1fc1b41ab2c0d524c64e101d72acd7e13092c7a060c8c7ce38a270e450a26 11606 sat4j_2.3.1-1.debian.tar.gz
 138d58f257e62d05046d59388e4dc438f05b5509571003dc5acca323ab1ccab8 997618 sat4j_2.3.1-1_all.deb
Files: 
 9043f37a911fe5df2fe142fd8fd8c7c3 1184 science optional sat4j_2.3.1-1.dsc
 79c952e6fb2b8f8236d5f7ea96360a17 13920474 science optional sat4j_2.3.1.orig.tar.gz
 ff0666d3cfbea2a25d515b19c650648b 11606 science optional sat4j_2.3.1-1.debian.tar.gz
 402ac5ce0271b698ce925cf5b6bec280 997618 science optional sat4j_2.3.1-1_all.deb

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

iEYEARECAAYFAk9S+skACgkQvx6dH3bVKsQKhgCfRW0ezNTlHpQvFuMgW93nT3Ec
crgAn2YdqqfPnOvkDpS658VMkul6hTU7
=qwhe
-----END PGP SIGNATURE-----


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