Back to sat4j PTS page

Accepted sat4j 2.1.1-2 (source all)



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

Format: 1.8
Date: Sat, 16 Jan 2010 14:13:00 +0100
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.1.1-2
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: 564439
Changes: 
 sat4j (2.1.1-2) unstable; urgency=low
 .
   * Switch to dpkg-source 3.0 (quilt) format
   * Bumped priority to optional to aid eclipse (closes: #564439)
   * Updated watch file to cope with WebSVN
   * Added ${misc:Depends} as required by debhelper
   * Removed lintian override build-depends-without-arch-dep ant which isn't
     necessary anymore.
Checksums-Sha1: 
 2813b1b9966b561b389c0dc59d3f0b11d3ee29f1 1123 sat4j_2.1.1-2.dsc
 8f2943982d5879c580e68d3d5a6137ec9339b917 10226 sat4j_2.1.1-2.debian.tar.gz
 9338677ed699117f294fd7ba4d9eab4a405ba278 246670 sat4j_2.1.1-2_all.deb
Checksums-Sha256: 
 898fe61cf335cc473f31bfd74c98e237abc8f8a41958badf63265ad36e7d39d2 1123 sat4j_2.1.1-2.dsc
 80b218d109e623638bc62af8867208d80b0ef461ada99e7f35aef2e7ee6c3c28 10226 sat4j_2.1.1-2.debian.tar.gz
 06dbfecdf2c4ed206656e4f0552dd68511d1f49dc574c56e9dd3cf168cd96071 246670 sat4j_2.1.1-2_all.deb
Files: 
 5ce7baf29e97a07612364d1028b2828b 1123 science optional sat4j_2.1.1-2.dsc
 c989ce0d3b617180401cc24f4d0d7470 10226 science optional sat4j_2.1.1-2.debian.tar.gz
 01fa945b040fa0eb737cee6751b19106 246670 science optional sat4j_2.1.1-2_all.deb

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

iEYEARECAAYFAktRyLsACgkQvx6dH3bVKsRGZACgr6lTai7Zxc4D3URGhIOxu2h7
lnAAn01THXfgjQTggcPso6ojmeUTZeZN
=HMZL
-----END PGP SIGNATURE-----


Accepted:
sat4j_2.1.1-2.debian.tar.gz
  to main/s/sat4j/sat4j_2.1.1-2.debian.tar.gz
sat4j_2.1.1-2.dsc
  to main/s/sat4j/sat4j_2.1.1-2.dsc
sat4j_2.1.1-2_all.deb
  to main/s/sat4j/sat4j_2.1.1-2_all.deb