-----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-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@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-----
