-----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-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.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-----