Accepted sat4j 2.3.2-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 02 Dec 2012 17:45:35 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.2-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: 678007
Changes:
sat4j (2.3.2-1) unstable; urgency=low
.
* New upstream release
* Bumped standards version to 3.9.4 (no changes)
* Use target 1.5 instead of jsr14 as Java7 no longer allows generics with
jsr14. Thanks Niels Thykier for the report and patch (closes: #678007)
Checksums-Sha1:
c2a81003c2c75b49f2a486b999f2b10bff4597a9 1184 sat4j_2.3.2-1.dsc
f21ce851c8421f8da431c114c3343380159770d5 14408289 sat4j_2.3.2.orig.tar.gz
fe29dbfba08ad73c59be6e786210c6d8f95ad8ee 11753 sat4j_2.3.2-1.debian.tar.gz
d87df29d7d3797a2dc1daa07431afa23bb157f8f 1039374 sat4j_2.3.2-1_all.deb
Checksums-Sha256:
25aa1327fcdd71d52931b12dac8dc9b22587e887c0300ed54ae41638580d205b 1184 sat4j_2.3.2-1.dsc
0b835f8ebcab0fb124f4ebb39d0af97ab7368813e7bb21f69ecaa00c0685766a 14408289 sat4j_2.3.2.orig.tar.gz
7d0af53859dd2b1f555d36c935f99faefc24be39e78e9e1f5896b2563db710d9 11753 sat4j_2.3.2-1.debian.tar.gz
ecf4c3dbb6d12077496036ba78535eab891972c1b504ef8699d7aa5665e68158 1039374 sat4j_2.3.2-1_all.deb
Files:
dfae6aa46a4b2b5a22a3f37f29abc35d 1184 science optional sat4j_2.3.2-1.dsc
48ea821395ac61a6780de8c9cecae363 14408289 science optional sat4j_2.3.2.orig.tar.gz
abc4835c0d29ab31b0623b419d6f3f02 11753 science optional sat4j_2.3.2-1.debian.tar.gz
279ed8a5b91356bc8c4308dc3c396ff2 1039374 science optional sat4j_2.3.2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlC7wTcACgkQvx6dH3bVKsQj7gCgiTIPFumn8F9Qzy1QvQynsQBL
Y1AAoOWug0wGwo9l1OeJh1YZHUl/Go/P
=4rMW
-----END PGP SIGNATURE-----