clasp_2.1.3-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 21 May 2013 09:22:08 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.1.3-1
Distribution: unstable
Urgency: low
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 (2.1.3-1) unstable; urgency=low
 .
   * New upstream release.
   * debian/copyright: Update copyright years.
   * debian/control: Remove DM-Upload-Allowed.
Checksums-Sha1: 
 407ed56493d3df7a963237d777488557b655477e 1992 clasp_2.1.3-1.dsc
 2332c9263429d089bb6cd9f2ae96d9e37d614e12 397519 clasp_2.1.3.orig.tar.gz
 d60ba96d94168e0551173edcef269d09dacc57dc 6565 clasp_2.1.3-1.debian.tar.gz
 d1f2f1a58802576b8596022be8bb48bdb3f212db 432670 clasp_2.1.3-1_amd64.deb
Checksums-Sha256: 
 73b5334eb3b2f39f9fdfdcd897423d647bd1e3845218ab058661958d9aae6b76 1992 clasp_2.1.3-1.dsc
 84b737845482b91f8ccb6eab6784c7641bb6986ce725194d3f74ddaf832ebfc7 397519 clasp_2.1.3.orig.tar.gz
 2ae0b025ef96e42e30af4df7b862841ce3c0af759d7dea667ef955a5c98896bb 6565 clasp_2.1.3-1.debian.tar.gz
 b2821a41bdadd6787054a35b7358fd38addcb07e50eb6825e110797d55c28fb2 432670 clasp_2.1.3-1_amd64.deb
Files: 
 dc3c1be4259b250d6d6d852eab3570d7 1992 interpreters extra clasp_2.1.3-1.dsc
 6635c9f3f92bb7ef61c99ffced6e9e7b 397519 interpreters extra clasp_2.1.3.orig.tar.gz
 55609206d2555c5edeb5745f8dbbaff9 6565 interpreters extra clasp_2.1.3-1.debian.tar.gz
 4e9f76552be0c668d3deab3347b17fa7 432670 interpreters extra clasp_2.1.3-1_amd64.deb

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

iQIcBAEBCAAGBQJRm58WAAoJECeX33SmZpqpzBoP/RHYfRxQA67J2FE6/LMqhvR2
Q4XXbz4Y7fxRLxYyBydeo/G+zF0qjI9QyaTN7oTtltO+jfgLEUydSjuluXfPdzQ1
p3pk07uaaqC7hAjaOYec1X0qELQBu26SHfPABE8XnG0xeY8leryXQhrmOhLlKUmn
stoN+e+9LKk7Ahz6+R5TuqDz/wYUNYM4RiMOi5Z8PtcwMCanRQ3dLMQMdaUe5zXp
oZMlvljZlPQFY/QpbiOwUbLcaqED/LxHHARqBL7EMiAX8w17rkuTSt85WuPLyPy6
avYUgo5ZyhibCpQN38jKqsERA3TLO7NmdKeFitzTMiipoaVowL7/5QXNVFNaPdCZ
SAChUcE5RYGpYfQO6obr1FKKj4IzodonQe2OcHmUNnX++YBmkayEbEJsa/dOxIvj
KPZR9jqR0MMBW9bdYp2g0R2STqZ0cNaTuKFX5HIcfiWK06BQ7QYIVHELzNuuygnh
W1BYVDJHRAy+28ffDikd51t9xKrAT+siwe0DY5eUSScnO2sE/x/jrXEfnCDxZ+ld
dBsTBtmXy7eNHT0snVbgsQjDl7TqyShcUvYzqyEClb82oArC8BMUpea6BId9fLbJ
yXzWoK9+ikFf1ZMZJzO928mPzrTfywANquWe+De9+x4SbvrSIk9sxQSNu8qd0B1l
v1RHyEc9RbORXGnGeyH2
=LgGZ
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.