clasp_3.2.2-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 01 Feb 2017 11:52:16 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.2.2-1
Distribution: unstable
Urgency: medium
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 (3.2.2-1) unstable; urgency=medium
 .
   * New upstream version 3.2.2
   * drop clasp-alpha-fpu-getcw.patch, already applied upstream
Checksums-Sha1:
 cef4e71abc8ded84da769fef8c76837ed47c8513 1998 clasp_3.2.2-1.dsc
 af29fa004acee49a42d8ed9fd5cf4d1d0a839dcd 718706 clasp_3.2.2.orig.tar.gz
 834c5e839e6aeeb64812a82734b48749db9d6f0d 7428 clasp_3.2.2-1.debian.tar.xz
 40aa27c948a7d9e77f4245dd68154e4611961cf7 5184852 clasp-dbgsym_3.2.2-1_amd64.deb
 9e1b0092179162dffff039e51e1d3c2573e8d91a 5251 clasp_3.2.2-1_amd64.buildinfo
 d09ef10056347fcd2b757b02a88a696dae9a8bc8 554514 clasp_3.2.2-1_amd64.deb
Checksums-Sha256:
 b7f650d7d4bfde01172bb012898b83637c7d4c1dd05a6f5a51b3d1f1b9441207 1998 clasp_3.2.2-1.dsc
 9e16795dd8c87cda76eb42413f2828c6a234869c9299c85806b38599284f86f4 718706 clasp_3.2.2.orig.tar.gz
 8cb7349376db4e565cff15f85ccad51298276d1877d046af53bb40e954988da9 7428 clasp_3.2.2-1.debian.tar.xz
 8c3ac87b00e13e1e4edabca3639257935945b74d7b255f8c9918053dbf4e0e92 5184852 clasp-dbgsym_3.2.2-1_amd64.deb
 7446b1550ed4650a75a3c52771caf9c3683787564ff8dc523b3427fdb981c017 5251 clasp_3.2.2-1_amd64.buildinfo
 3de96f6589cf2871a69556cb87c8ec519fc70d8dd52a3a961b232841bd87592a 554514 clasp_3.2.2-1_amd64.deb
Files:
 44c704e624790d8e049282eeb7693765 1998 interpreters extra clasp_3.2.2-1.dsc
 e7686d90738816ea4194b4fe6fc0ae08 718706 interpreters extra clasp_3.2.2.orig.tar.gz
 b335482915389e2c75915e63488cf84f 7428 interpreters extra clasp_3.2.2-1.debian.tar.xz
 3a782f5ccd3e4b0393284ac98c223080 5184852 debug extra clasp-dbgsym_3.2.2-1_amd64.deb
 edbdf485a2772eeab6c5fd4ca4fd3b45 5251 interpreters extra clasp_3.2.2-1_amd64.buildinfo
 e7164c8105d5f21a671c29e633c71979 554514 interpreters extra clasp_3.2.2-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAliRvnMACgkQJ5ffdKZm
mqm0LRAAmauv9J6SyhPxd7+LoY1DtoTu2mi9sKzJhunaVE+6kXP06ChrIOdEHid6
t+kWa3nMxZfh3ffQ6a7WsZ887VCUiJhR/Cvc/rE+KnPqh4v5geilEM+VpSXnmisl
aBLoidCN9F9u9tYFYpSoFrqjgAsZsjhOasoSIVXvQH9aa/sQ3GedGJTZvCb8/NkT
KHhPr1PHxT8zcEH+ivVhy/jj+IDHIMjPw99/9qh5TqwMmqmn53RsVbTSIMKL2g2s
rJ7P8z5zyLnD3loXG1rCqPvXiSo8egr+pHlqN1B3FAA3pyk/Mqon9nSFhN3xwK1W
fNUrODOh23AGu0SqDn9P4N5BD44d0j/RQ9mNkvzytAG8mUb3QDTJuKvO6TLqlfV9
1/0SLZav+2TQka4E+si5AkDG02smm0mGUMIq6uUAqOGSOoxrW1ywRCXUmnaiPPgs
2NJZLVmihiDog2VPhFbLApIKtSDm7cbFV3Am2OboJoWnZsQp76AGmxvAtybgTuPC
ZrjX8RN28GeTVv7gR+QU5RBS5a2WyWZxeJd9PNE5cV6O0mshUO0LFXMyPobFYxHW
Jj2NeDSjQsgj68fimAfgZHQ31A0/6zMSJj1boWQabpDNoZvJNJZ95AzRMvD2NEoF
N5XE+taU1qNP8tSR6W7c6qUfrcPd79w4AWBK+XZYQ37Mz20qW6U=
=AA88
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.