Accepted clasp 3.1.4-2 (source amd64) into unstable
-----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-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@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-----