Accepted clasp 2.1.4-1 (source amd64)

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

Format: 1.8
Date: Fri, 13 Dec 2013 11:44:18 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.1.4-1
Distribution: unstable
Urgency: low
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 (2.1.4-1) unstable; urgency=low
 .
   * New upstream release.
Checksums-Sha1: 
 701844f3bf7bd9cf91eef41b086060093cc7080d 1992 clasp_2.1.4-1.dsc
 4c6ec3ee2f68fd5f9b3574ebb5a8b069d65d12df 402549 clasp_2.1.4.orig.tar.gz
 0454d2672a2ff8389fa009f2b1e2a389722bc675 6618 clasp_2.1.4-1.debian.tar.gz
 48f4e8aea86f531412423e45ff1664e828a730ad 361954 clasp_2.1.4-1_amd64.deb
Checksums-Sha256: 
 63c3e3122cd07c17ffb0a7bcc581e179b7f5fc55d8b8ff8f1150a4e91a917f09 1992 clasp_2.1.4-1.dsc
 9d4077d64b549903999d8da0689e81855ed4ba488f6c9628c1493788ae73aad5 402549 clasp_2.1.4.orig.tar.gz
 e4e73cdc8a6016360f7ec663b54de5e260dd8165aa43dcbc846ca9248bd3bc1d 6618 clasp_2.1.4-1.debian.tar.gz
 af709afa181f5627abd860d924700ed797256150b09e2395cd8b8f88964f465b 361954 clasp_2.1.4-1_amd64.deb
Files: 
 1e8790bf2227f83953f8a8f4ae531aaa 1992 interpreters extra clasp_2.1.4-1.dsc
 25e2c4d7603fc724a8b64f67ebc07a02 402549 interpreters extra clasp_2.1.4.orig.tar.gz
 e96f4e128043e5c7cd9d95b0f14be600 6618 interpreters extra clasp_2.1.4-1.debian.tar.gz
 5785d626cfbaa5b79826708d723b6247 361954 interpreters extra clasp_2.1.4-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAEBCAAGBQJSquaPAAoJECeX33SmZpqpm/sP/iYGA6GF068F+UI8ziX7w3Nh
Q+1bQ29YsLvexUETBi5CMKaXl578QvrkQEYTO/gncWbH2fvtNGFVzhE/cGWQBxI8
28h2/FDMIA7gWnyZbM4oZps2Msx89OyOOezkojOmcGHOS8Lcdl8gSbgqwoJw8UCk
ESbKnRNhK5Q1L+lTOoCYK3T6jGpZ+sY9cfCdTzWLtGR/yuvHW5nVxHaNaB8fegpX
S8zZRR8fpXChEYNW9drnAgmUf3uUMVpQFI7ElJFs7ei+GUoP3c9+IP9zgRBSGcNy
zu2xZHjyckzFHTk7Fwj8FsQjJxeZpMznvhhpq/5520RWk0Hq+e+MKgQgt0GmrtZn
DFyJtwSG13MTU0vXrKdcLGjPdV6sJNBQNrp2MY7Lj3Jm0SFzy12i7sXzDbumcO3r
DEntX2BHtg6KE8KxyOhz6vTqoWW7Vy8Wu50T77t6lPtf+pWZ3EGKBeDKO063J9X/
J8ZtJD9zeyFP450f4VHKIuyx+RJAeTZ1CguvO5nC0ZFWZ2rh3RGWkto/v2TWNUc2
6aLbnWwSSEJ9Inyxnx/ctxOpJ82nvWqFm4uH2AzRMgy/xioO4TJy+zz/6xFmC5Mc
kJh36xMuS05ubKWAlhoPtvP+Zu4Xsf0bedAG+qCah31SmDaSOklaXRUsju0AFcl0
ESZY82HaB9eO4U4WJC1J
=jcpX
-----END PGP SIGNATURE-----