-----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-----
