-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 01 May 2016 08:51:17 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.4-2 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-2) unstable; urgency=medium . * Add patch to fix wrong number of optimal models in parallel mode (upstream bug 116) * Bump Standards-Version to 3.9.8 Checksums-Sha1: 27e564992ea83bd7f68fa4d2cfe01dc97f5699d7 2016 clasp_3.1.4-2.dsc 9bfad6dfbd94dff0dcd5cb9e061cac2eba689b2d 7040 clasp_3.1.4-2.debian.tar.xz 11d7e57625652eb848431798f43c0f95d3a86554 4125434 clasp-dbgsym_3.1.4-2_amd64.deb 97b68335e7ddd6db3920934c2086048dd19aa75e 464272 clasp_3.1.4-2_amd64.deb Checksums-Sha256: 6ebecea6814ac219bcda2eb39faafb16841e3a91c4b089b36f5495739106e721 2016 clasp_3.1.4-2.dsc a8842f5bf0ecec45a82aff6252d6c3564286475c89437cca115b811e32bd5981 7040 clasp_3.1.4-2.debian.tar.xz bba8eb5a5b37e46a79bde78f969ceb8f0090ce02f78821f75012d8ad6faaabf6 4125434 clasp-dbgsym_3.1.4-2_amd64.deb 192dc10b3da3177d987269f53b6920c28c13668b3f3161f0c900a881d58eca50 464272 clasp_3.1.4-2_amd64.deb Files: 832245909c0c7fa48c62ab0c8ff14804 2016 interpreters extra clasp_3.1.4-2.dsc 6b0c80be0c55ebb1150a60f6e585e9cd 7040 interpreters extra clasp_3.1.4-2.debian.tar.xz 180e4efc5958a199a68a2c66e703872c 4125434 debug extra clasp-dbgsym_3.1.4-2_amd64.deb 49e9111adcd18e974cef8dcc76c95040 464272 interpreters extra clasp_3.1.4-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXJaqQAAoJECeX33SmZpqpkkoP/RFqWnVLgf47AB1rs7dOrgXb KDKHItW5OGc9g7oMQyQ9biYiNAi4PQsAbrKDZX/GQHVBIR3GtoHd67q6Acr4eSAb T3LUm1afaU1rFip7fgDCEeAwD1U4bl64eZJOmYmRG/X3CO3DJ1AzJ+RvJptQX2aJ R11fkd5DcXg0QYKWi+QSp7sjZEqDxYs8XnqI7GNDG1IuyJST55tLeZYmP6twYuyg 75UFqfi4K25rVw6qug3xQdUaNBYWKqaFN4v5WpIcnzhFhZm/rayHEI//oxznubxe D6j4OeNj3LdBeOQRUrOQaSHk9ue9kFXRrSjZmf4eW4nS2qqVhgWcqsGnALL7uK1N 8zx/2fEqcaBGkOgHh8aVgodVTh3U4MYSt6M7zeMPsWpENpx4nHeYv7NBOJSPr93J aB8/IGNRROg15HBk64Q4j6uCVKlgPSmNmUSkVOiF3+PEO/HpA3/t/oM9pPOePHxa o9YCiJNKkKLtNtk+HuFkQJ5Gq/Gd1rs9CNO3XReW12BziLjZUqnq5qeXjlyI5BR5 DcOXuXfzvYZcitaI0aEpp//fF2eMLhMEYBRVMI8/KNHavmS+yuergWMGjHMCyB2Q TpFgp/fWqvSz8Zini6tXq/cmgFVpxuqGc67U9Qi5sAiNkSXwNNOJzH8t0pCXWVfL thZ/8YYqb6GFO9v5NKGq =E+Pz -----END PGP SIGNATURE-----