clasp_3.1.4-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 20 Dec 2015 12:06:30 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.1.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Changes:
 clasp (3.1.4-1) unstable; urgency=medium
 .
   * Imported Upstream version 3.1.4
   * Remove g++5 patch introduced in clasp 3.1.3-2
   * Fix dep5-copyright-license-name-not-unique
Checksums-Sha1:
 1d48118d5351c34ea9e991bf196cfb35cd36bbf8 2016 clasp_3.1.4-1.dsc
 5be43c2a912cdf1ea513e99c3f7173db1cad290d 520964 clasp_3.1.4.orig.tar.gz
 68219fea2468bb762a6d11f351fab0b52400c045 6696 clasp_3.1.4-1.debian.tar.xz
 de174747299617ac1bf15b86afbe4174f57db5a5 4126550 clasp-dbgsym_3.1.4-1_amd64.deb
 cee17ff3e07762dc98b9455f8315e83d75c8ffdd 465016 clasp_3.1.4-1_amd64.deb
Checksums-Sha256:
 e57c0f62b82b2d506c65cfec41f4669183278cf38e3092cd95fd6d7a1195c60a 2016 clasp_3.1.4-1.dsc
 f6a7d8a90c3f216f778410ea7189b74a902750477fcce1a6b8c992fb08c372fe 520964 clasp_3.1.4.orig.tar.gz
 a72b702cc2a5978788a4fb9c8bed3d4c140fb63db03a5ed9a47d3df2470ef19e 6696 clasp_3.1.4-1.debian.tar.xz
 9c838481830e5e2174eaf0aa5d141e8acd97b7e3565366e18aa4dff953ee781e 4126550 clasp-dbgsym_3.1.4-1_amd64.deb
 4cc1d7701a52ad281c2e7e09f4efc26a2d48159fb4a85a0ae86ab0a922cd909d 465016 clasp_3.1.4-1_amd64.deb
Files:
 e0e430230474e8ab6e987c9da0854798 2016 interpreters extra clasp_3.1.4-1.dsc
 65efb2dcc00f568bb4ec533a40a7f008 520964 interpreters extra clasp_3.1.4.orig.tar.gz
 beea2567556edbcc46c600c6c3427e02 6696 interpreters extra clasp_3.1.4-1.debian.tar.xz
 e94ca5371ec59b7c99302df1e56ed268 4126550 debug extra clasp-dbgsym_3.1.4-1_amd64.deb
 756dfefb8b6a4ccd979afa2aa58f7872 465016 interpreters extra clasp_3.1.4-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWdo9RAAoJECeX33SmZpqppjkP/iCBWwWZ2jGXlcGibN5SnRXI
wQieQ6GvU6yrUgJzHET97FNSuPX7tHV3zrkgM1gvV8lcIxjSsksT3rHYxpJ5seUD
M1blBhOjUcfx1QTjyFapxVAq1S6jyGzSgmSWQNdHDuXU3ZA1yIiMTXu7tlxnL0Gl
zvs5LlPak3ZpwtoIGg0vJVKwCPtfBootgQHbNUDKI1LWzMHnvy8l9H4SPKKsXGha
KHMLMPeWILEQwQKEsvHy9vboSdq+TTMDDLQSCUWRtzqwjBpUvh6Rkage9eAfhf5g
W8YHVLMeNZa6x2QhWqIW4iKyOUKCAtfMYc5PAVnMfl1bfZ8nWzYadfJHKxmDEmVV
FS7pXuOz8bLCh+eqZQZp0h04Vp1Ljp/7AI+NvAA9xnyUJzyFpErSK7V37JVks2Qx
K4R/KxetN4AetQT6mZzAckEQV4DRCNI13nJh5ETsmYugqNhh60ad4VO/Bc8HuO1z
y1mOPv6BevWG+GrrKgRuwySAfC4uZZtf0w6KAnl56A4xobDrNYp4pY30PtwhtVYO
Of3i5bsi6NWe/SuMX/zVowPXUsMSq/TzwES5iT2D4ZtsTxcNCOgPewPKCj5k1fMz
I934t18H0VjVNH5eG+PBZWuCkOBcLdDXHBZTY1n48S/tSWtxJ29yxYyPIm0X57L8
Ttw1wLmug9aOykpz/oFR
=leRs
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.