-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 04 Nov 2016 23:10:51 +0100
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.5-0.2
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Emmanuel Bourg <ebourg@apache.org>
Description:
sat4j - Efficient library of SAT solvers in Java
Changes:
sat4j (2.3.5-0.2) unstable; urgency=medium
.
* Non-maintainer upload.
* Re-enabled javahelper to properly compute the package dependencies
* Added symlinks to the old /usr/share/java/org.sat4j.*.jar files
to preserve the backward compatibility
Checksums-Sha1:
bf9663420acd7265d9c9b258e86799ae911947af 1833 sat4j_2.3.5-0.2.dsc
b3c897c3e5f10b92afe1550574ef63c2a3ea47e6 16844 sat4j_2.3.5-0.2.debian.tar.xz
c8d5592b5d2264e9e223e0d33ae0257ba40816d1 543408 sat4j_2.3.5-0.2_all.deb
Checksums-Sha256:
b3fc9f6129797a87d094701bc367da5cba85ca7a30e0c54b77c4e81dc2addf3e 1833 sat4j_2.3.5-0.2.dsc
6636fdad03c4ca6179f9a0832a7b7f8d940aefbdb1dcae274acf1ce1c73e656f 16844 sat4j_2.3.5-0.2.debian.tar.xz
44e2777819adb37bc99f3240e8f94abf0ff8d7109b59a0abf305b3a75a577d95 543408 sat4j_2.3.5-0.2_all.deb
Files:
0b1dd31472ecbde93eb61025ce9d5faa 1833 science optional sat4j_2.3.5-0.2.dsc
cb5e980fc68aa4e8626345c43f84fdca 16844 science optional sat4j_2.3.5-0.2.debian.tar.xz
1ab058e65bd274b7780a7360ac5136d5 543408 science optional sat4j_2.3.5-0.2_all.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJYHQgiAAoJEPUTxBnkudCsMLMQAKD0OeUehuPlLcr0kpGR5Xwl
zlYd9OJ18tNxQcP0v8NywbXYJvquB0rEkNw6p9hGbV8zj2nSVC2BZbd04awsxRhn
v9XyaVCkJu5b7HI4m0odt7Us4BPPZ/73Vm/Lt1QWtWZoF+L7uD6jISce+Wm13A+O
1jVmrMbR+y2gcvYFGej/9P9h7wfNF+04inYWIP5e33VJ4iApwgsEceKo5tbLPLXd
HPaW4Al9uG9VQ2ZPiLEEzdMNxdrsx4inE9tqcWl30yrBwz4f6z3syH8SUhamULQI
TAYGczSc6aLAbBhKICoRiwNLnCQt1roeKjMLT+5kRT6OXZSAwJRbhG4MHRojnL3E
oxRyS9NNTkTo9dhlRMSxhOanyl3Og2q7tHbypsj8LmBsFx60suwO03UlGyZX9+5o
IfsKJ30yX9u6kiANSNd1VKlCmiTJQ1RIiu1IE2+ZwfM2aphEn2W/biPtZXFKT/L7
O8r/nbrDpnVTNqvecwZZewmgj0yqZuK3IiomXUKFQHtBBNxSH0PrXG4ma1ex2SYK
1ml0bi0d9mD4SGVXyGEhey+uN4vCCes3IxT6wSWZGO/IV/Fm2j8cVaPEEC7HEuMc
px1pqM9mWslnT2yE5vF9aX49DCFVh8Up7voMRTuPu5vz7PagJ/Mx9SCUCb+yqExz
ON4dufppQ3GVx7CABwsB
=BnUc
-----END PGP SIGNATURE-----
