clasp (3.1.5-1ubuntu1) yakkety; urgency=medium * Merge from Debian unstable. Remaining changes: - debian/rules: Cope with multiarch libtbb.
clasp (3.1.5-1) unstable; urgency=medium * New upstream version 3.1.5 * debian/rules: cope with multiarch libtbb, thanks to Steve Beattie * Remove parallel solve patch introduced in clasp 3.1.4-2 * Bug fix: "please make the build reproducible", thanks to Reiner Herrmann (Closes: #828971) Date: Mon, 05 Sep 2016 02:30:09 -0400 Changed-By: Logan Rosen <lo...@ubuntu.com> Maintainer: Ubuntu Developers <ubuntu-devel-disc...@lists.ubuntu.com> https://launchpad.net/ubuntu/+source/clasp/3.1.5-1ubuntu1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 05 Sep 2016 02:30:09 -0400 Source: clasp Binary: clasp Architecture: source Version: 3.1.5-1ubuntu1 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <ubuntu-devel-disc...@lists.ubuntu.com> Changed-By: Logan Rosen <lo...@ubuntu.com> Description: clasp - conflict-driven nogood learning answer set solver Closes: 828971 Changes: clasp (3.1.5-1ubuntu1) yakkety; urgency=medium . * Merge from Debian unstable. Remaining changes: - debian/rules: Cope with multiarch libtbb. . clasp (3.1.5-1) unstable; urgency=medium . * New upstream version 3.1.5 * debian/rules: cope with multiarch libtbb, thanks to Steve Beattie * Remove parallel solve patch introduced in clasp 3.1.4-2 * Bug fix: "please make the build reproducible", thanks to Reiner Herrmann (Closes: #828971) Checksums-Sha1: aecb643c9aa293933b632f914eefd176901693ce 1775 clasp_3.1.5-1ubuntu1.dsc 7a0ce532ead491af585c0a5ac982f24bfc46e741 522179 clasp_3.1.5.orig.tar.gz 07fdb54f0a01e355af68af529f4a40b2e5dc4523 7320 clasp_3.1.5-1ubuntu1.debian.tar.xz Checksums-Sha256: fc5219b9412cee45891bc37dae73748f51a5abea2117201a38568bbc86400f7a 1775 clasp_3.1.5-1ubuntu1.dsc f9ea3020298cec0649e0c5864cfd2c1d92d48c55433277844522450cf461e9c7 522179 clasp_3.1.5.orig.tar.gz 93b1c45bec130edf7638bb49d653587f516d4399c2a14c5414a4b60555b92638 7320 clasp_3.1.5-1ubuntu1.debian.tar.xz Files: e77d6fea1356fe74fcddaf77efb32ab2 1775 interpreters extra clasp_3.1.5-1ubuntu1.dsc 83f781c6cabbdc25f7f07d4720311bad 522179 interpreters extra clasp_3.1.5.orig.tar.gz 4bab057e31afe7a22f6b540660c19f25 7320 interpreters extra clasp_3.1.5-1ubuntu1.debian.tar.xz Original-Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJXzREdAAoJEATn8ULx7RNF1tgH/j6rXQtwHdy2LONzmx7q4jEZ Ai3YT9GbYxWz3CoY6/qEFNN81/8D1kALG46Md8gPSQMV6PRIfAI3l05MYR+TOWO8 n6N+IXt4eyA9V68zWPT9HLgHQOy7rsBJZNSsRBsiRmS+As1yqTDwTUgJGLGcWlPk sA741I0QfsKgmpnvqTWL3d68HAADb+hPE8QDNt6HTt9qnW22cg+dVnnpQQmUD7nz rNydfVa08oPwBdSimqSpTHgQeZNJYEvt207E8bmG1p79E2kn70AlfaXhNTwy1j1I d5sAYZW9c632PSkOwZnCSNFaEHr7IJoaNjoF1m1cIsifywg5/RctGBR6EM7J3SA= =V3rv -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list Yakkety-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes