-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 17 Dec 2016 07:55:33 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.1-3 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.1-3) unstable; urgency=medium . * debian/rules: enable threads on all archs, use LDFLAGS to inject -latomic on archs that need it * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha, _FPU_GETCW and friends are undefined on this arch Checksums-Sha1: 556c64421d6203c352067ed6d4470cbda8406d90 1998 clasp_3.2.1-3.dsc b5d2b094a54d78e2285560ff320d50d7e1e9ad95 7608 clasp_3.2.1-3.debian.tar.xz e29f9604d1232806867307740ef553ab771f4891 5179446 clasp-dbgsym_3.2.1-3_amd64.deb 970761877b8851e0639795764ec3d04e98456355 5132 clasp_3.2.1-3_amd64.buildinfo e740df2d2c00e2e9d17469c34412ffd412d35201 553814 clasp_3.2.1-3_amd64.deb Checksums-Sha256: 4a16e51c7d02af0b729d974e92b5864ae64989d457ca221bb0464464325242ef 1998 clasp_3.2.1-3.dsc 44b20d1ae9bba8fc647e78d7cd46fe48570e8da715afc5364eac4ffd257603c6 7608 clasp_3.2.1-3.debian.tar.xz 9c5052c24015b0970abcb423e8bbd8ea7dda10799a143694fa4d9feff83c491e 5179446 clasp-dbgsym_3.2.1-3_amd64.deb 30d4797bc27b07f7084430f4c1b3423654b85640aa0f89716ac6b5f0411c716e 5132 clasp_3.2.1-3_amd64.buildinfo 4a4f83d13a4fc59b4b5b3fa87491bbb876a1e14d3bfc5c58842410ff6f410d85 553814 clasp_3.2.1-3_amd64.deb Files: 42fc430b1771ba290f3cf0bb6e35f292 1998 interpreters extra clasp_3.2.1-3.dsc b0b81829a3c39f425353037de2a46178 7608 interpreters extra clasp_3.2.1-3.debian.tar.xz 4335178a00c9d8bf733afb7c085aa912 5179446 debug extra clasp-dbgsym_3.2.1-3_amd64.deb b9e8f4d051f284bd74df0328ff8ce6a2 5132 interpreters extra clasp_3.2.1-3_amd64.buildinfo f3132b1b5829967d1bd2f1c4291b17c3 553814 interpreters extra clasp_3.2.1-3_amd64.deb
-----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhU9R8ACgkQJ5ffdKZm mqnt7Q/+NX0wQbSR672z/U3j0T03E340+k3f/8UItSuTQZObDDD1SN0e+XyVHDUD c9w/maRa8b0LRlWhxat1GbXHFL/HJcL5yGGexHpIeaMvqvj2qO9sKZik3UAiLlDa f5wCJQNL9nglkQcsZGeohKOGOS1GwTJaIVQTt/CNYWvCANEMfZVkENcSHIMz7O5z 7SXMAtuVf2u2dX1r3NsBXA0LYqY69SH0Vd8fvHh4BOpb1ddrOG44ticCbQJSefpN gjVFeo5RAoYmP7GJsiXdbrMl0w958PiKb2wqACd//PNogXLEj06+CocaVvSf1CZL HLJKEj1L7VCK8PtA5mS5pu6di/Ti21nDcd6LMnPD6vIu1lIPE5sow5BlpSlSU/iM efBbGBZpF0b62R1L6fSwXFARZcCCAflWARqU+HzWQOT0ES7xUYH6UrTIklFkDTgs z0L8Syw5YOCtS3aZAn6EInDcaWh8Pt68v1yGw+dj7cMXrYpO3ANkEF+jjBV1ZbhI NOA7MMyS3QpSBEQwkylc2B7T1OrzkKDHTk+ugxY3FBjcBsHFTrOZ7wl539Dldkiu L83u4lldT2UujOvKjVo5E0JZPOnlp6B3fERjKg5MjuZ97KF+Djw9oDKmdTebvFBF m7DI6OGKFWAMMgeJsjgFbt3B2ER6J0V8sYKRH0vI3Ugsx8Q02Go= =tCtB -----END PGP SIGNATURE-----