Accepted sat4j 2.2.0-3 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 16 Aug 2010 12:43:47 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.2.0-3
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: 592181
Changes:
sat4j (2.2.0-3) unstable; urgency=low
.
* Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse
happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181)
Checksums-Sha1:
7c7f95463c167f4a353895ad4f3d4964d5906e75 1140 sat4j_2.2.0-3.dsc
64a245c3f9e46a06e2ba5c2baec5719322a806ff 11189 sat4j_2.2.0-3.debian.tar.gz
dd5709281553ad74fc58ab675023b82b8bd99470 522792 sat4j_2.2.0-3_all.deb
Checksums-Sha256:
f546113467cbce135cbf7ffffba6084bc79323c3cce7dcbeb05cf43fb1b7cfe6 1140 sat4j_2.2.0-3.dsc
cc9cd8789f5356aca54fa0c53b0769708f7907ce6856ec10e9fabcfaf59462ef 11189 sat4j_2.2.0-3.debian.tar.gz
6099884508d70dc9d7727678bcf192666157fb6a30ecd620a06837e6010651d6 522792 sat4j_2.2.0-3_all.deb
Files:
74948e65299114d9dd8ca640343795ed 1140 science optional sat4j_2.2.0-3.dsc
2221faf19bf9415936a83ddb8bf75878 11189 science optional sat4j_2.2.0-3.debian.tar.gz
366f9f4481d4d7a005f3a7fc73dce9b7 522792 science optional sat4j_2.2.0-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkxpHKgACgkQvx6dH3bVKsTYJwCgsV+j8v5B7x+c9CBA8TSnfMUt
waQAn0kqtPIfESCal5cUwWX33jzLjEwK
=iYF4
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.2.0-3.debian.tar.gz
to main/s/sat4j/sat4j_2.2.0-3.debian.tar.gz
sat4j_2.2.0-3.dsc
to main/s/sat4j/sat4j_2.2.0-3.dsc
sat4j_2.2.0-3_all.deb
to main/s/sat4j/sat4j_2.2.0-3_all.deb