Accepted sat4j 2.3.5-0.1 (source) into unstable
-----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-----