-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 24 Jun 2010 10:14:30 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.2.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: 586437 Changes: sat4j (2.2.0-1) unstable; urgency=low . * New upstream release (closes: #586437) - added Breaks: eclipse (<= 3.5.2-3) as requested by eclipse devs Checksums-Sha1: 2d10100298cfb4ce5b28f78088392681f98a1e94 1140 sat4j_2.2.0-1.dsc a79bcbac929107a29254551fb18c5819558dffb8 13815399 sat4j_2.2.0.orig.tar.gz d155ee526cd3c7d24e84988c9a263169ef20f2b0 10470 sat4j_2.2.0-1.debian.tar.gz 96bf7f54e9eb3cbbcbfb6768aa850d1552e8010e 522568 sat4j_2.2.0-1_all.deb Checksums-Sha256: ebc89afcbd3eb6b7514efef30c116e462f9469445b399cf0d869a4f3358382b8 1140 sat4j_2.2.0-1.dsc b4a6cacb4cfa6ec087cd6e2a5380a9029a5e8bd2543145a37f9b308bed2a79c5 13815399 sat4j_2.2.0.orig.tar.gz 87c7d64ee33c0173dc0449a9125f6af32a8b8a29940144a15fc9419e154dd877 10470 sat4j_2.2.0-1.debian.tar.gz 9c90b6da2c2b3e2a60737fbca06aa9871bb930280d231d58e1a2aa6ca42fd555 522568 sat4j_2.2.0-1_all.deb Files: be8dc3d7bd2f199c13e4d44218ac66ed 1140 science optional sat4j_2.2.0-1.dsc 13cfe18f1f16d016bf43558945a7662a 13815399 science optional sat4j_2.2.0.orig.tar.gz c4257bc0cafc8d65e0b9a336d6409abf 10470 science optional sat4j_2.2.0-1.debian.tar.gz ad05189aa57993c1fff3dcd23cce323f 522568 science optional sat4j_2.2.0-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkwlGSwACgkQvx6dH3bVKsQGKwCfZ+aMhem7WYHjKWJ1Jjh6h483 YIAAoJguTgXBFgZYSnEzMkR1w4CF1Frr =VeL9 -----END PGP SIGNATURE----- Accepted: sat4j_2.2.0-1.debian.tar.gz to main/s/sat4j/sat4j_2.2.0-1.debian.tar.gz sat4j_2.2.0-1.dsc to main/s/sat4j/sat4j_2.2.0-1.dsc sat4j_2.2.0-1_all.deb to main/s/sat4j/sat4j_2.2.0-1_all.deb sat4j_2.2.0.orig.tar.gz to main/s/sat4j/sat4j_2.2.0.orig.tar.gz
