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
