-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 29 Oct 2016 15:20:51 +0200 Source: sat4j Binary: sat4j Architecture: source Version: 2.3.5-0.1 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Markus Koschany <apo@debian.org> Description: sat4j - Efficient library of SAT solvers in Java Closes: 815911 Changes: sat4j (2.3.5-0.1) unstable; urgency=medium . * Non-maintainer upload. . [ Luca Vercelli ] * New upstream release. (Closes: #815911) * Add Maven artifacts and install corresponding pom.xml files. . [ Markus Koschany ] * Switch to compat level 10. * Declare comliance with Debian Policy 3.9.8. * Fix debian/watch and detect the latest upstream releases. * Remove prebuilt jar files from the original tarball in get-orig-source target. Checksums-Sha1: 9ff8ab0831b393b6975eeedf26fa135a5c7ccf6e 1987 sat4j_2.3.5-0.1.dsc d28ff15295ec39f66fdf45679dcec6c5fafa2101 13748980 sat4j_2.3.5.orig.tar.gz bbffffac6fa402f1109ba23deb8babafb9b4e41e 16688 sat4j_2.3.5-0.1.debian.tar.xz Checksums-Sha256: f365c4b379b1b61fa48725d3e55432b6831dbf625572f67bf5b6f31a22a0b297 1987 sat4j_2.3.5-0.1.dsc 66ec5c9e5b277b5fc93a9930f7f5305b4cbd39d0e3f1a8e6fd2b6b6ac6b9c5bc 13748980 sat4j_2.3.5.orig.tar.gz 9a66a87010f714a66c362c8f3c154251f3e320c667e3e35de28952549072b53a 16688 sat4j_2.3.5-0.1.debian.tar.xz Files: b5887f34c846fcdde72527e6e527f643 1987 science optional sat4j_2.3.5-0.1.dsc 526e70e3810aa515f2235da1d01fd71c 13748980 science optional sat4j_2.3.5.orig.tar.gz 22c9ed0e45bfbe30b5527467b4502014 16688 science optional sat4j_2.3.5-0.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQKMBAEBCgB2BQJYFKi7XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXRBQ0YzRDA4OEVGMzJFREVGNkExQTgzNUZE OUFEMTRCOTUxM0I1MUU0DxxhcG9AZGViaWFuLm9yZwAKCRDZrRS5UTtR5Fp4D/wP X8+fAIF3ZpEFd04+B89P5bMeeIgsUgOof9FSRm619YZD2QQ5wVhsf3meEXkvA+r2 X2TzxxaFOvQyx+SzHVR+YlbnXM33O++N9R0RE/XmtX6jXuF5lpC7/kY/UT3EslZo PVLNDFBw1H62gsvQuxQIb1RTsEeNiLq6em4bhR3HrJ4qUmyO2CBMA6kbhp3mAQEe Pb6L7D+q0PXxo3tUsqUcMBcjGp1hGT90ywDo9/YSxIBC7SSNi1jGlj0FpYQRUcEc 6cdN/haj55J2B0Yy/i3dh0danBSw0ZZpdE+yNhog0RelpL1eLXxROpwM8U3usOiu 69+k0KvyWZV1GjqUYAUi9gUqfRyu1PNCmrb1CsTuuhmBS2ZWW5M5BxngyjAlLmiw DJAAYGRnXuJg3+KESwfG+ZfEAQk5dqbOjGVOlqJzdexcsXDdLF6ehAK30gNkZd5Z J5DtL+bymxXmvwCS1thK11aQ7EVFjj2O0nStI1r+lnlhm+ckPqZ9mB/noWUCmlqf 1JC5zWFZZDnWe/gw3/4qsddIKm3YSGV6UR4i8mC066BokjXIajxus2C7l/N5eBlD 5aYi09TnuRTL7gk+ETGyUkUl+zzgjouc813ykKP3NbcjjOahpL6qiKvZ3CU0pv1r QqtAkqOWIR1rtKOkcF00Tv/WvZfLmBPmmti0H8DviQ== =Dylv -----END PGP SIGNATURE-----
