Accepted sat4j 2.2.0-1 (source all)
-----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