Back to clasp PTS page

Accepted clasp 3.3.2-2 (source amd64) into unstable

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

Format: 1.8
Date: Mon, 21 Aug 2017 08:31:52 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.3.2-2
Distribution: unstable
Urgency: medium
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
Closes: 872549
Changes:
 clasp (3.3.2-2) unstable; urgency=medium
 .
   * Bug fix: "clasp FTBFS on armel: undefined reference to
     `__atomic_load_8&#39;", thanks to Adrian Bunk (Closes: #872549).
   * debian/rules: link with libatomic on armel
Checksums-Sha1:
 b9a45c7578eb67b75c649b0cbe36e73197a7011c 2045 clasp_3.3.2-2.dsc
 12833de745d72445e53b8c11b52401cc25ac2950 7312 clasp_3.3.2-2.debian.tar.xz
 e38fcf3f805cc0d733556f5823f0b963d8f97d78 5276724 clasp-dbgsym_3.3.2-2_amd64.deb
 3031a0c574571f456e7fdfa87944c8b4738646d9 7006 clasp_3.3.2-2_amd64.buildinfo
 42adddf8f76511690a012711111f219014cc6e69 637794 clasp_3.3.2-2_amd64.deb
Checksums-Sha256:
 91eea2a8ee088b03fa3e66b29a9ef3bfc8d3da08c48eca3aa9e14a7042c3a279 2045 clasp_3.3.2-2.dsc
 3b92b275e344e6c59d5b8f7e9bb2b05e65d1dcf6d7d9ab5677def996c42159d2 7312 clasp_3.3.2-2.debian.tar.xz
 82d4e00260e36a03a317f4a11c0a73ac7abc0c41bd738c96c88bde690c4febec 5276724 clasp-dbgsym_3.3.2-2_amd64.deb
 f96aebf2040f49f4a8dc3019edf5777643cc6fee7269efda90aff3fbeca4452f 7006 clasp_3.3.2-2_amd64.buildinfo
 2e83ed1f61ff85e9f2a8f1600d8ce75c7d0073063a252a82515cf8853982be19 637794 clasp_3.3.2-2_amd64.deb
Files:
 f57fd227c56762bc57008399a2479cd5 2045 interpreters extra clasp_3.3.2-2.dsc
 23b64ed6ba934776ebabb539b4f6948a 7312 interpreters extra clasp_3.3.2-2.debian.tar.xz
 f592e481e3114ea2885d8a4a2ff4efef 5276724 debug extra clasp-dbgsym_3.3.2-2_amd64.deb
 7e6be8836fd156d30e57b618571d4b13 7006 interpreters extra clasp_3.3.2-2_amd64.buildinfo
 37032641abce87370ec5f5e521c0289c 637794 interpreters extra clasp_3.3.2-2_amd64.deb

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlmagHEACgkQJ5ffdKZm
mqnxZw//SY6LSvfXl7W0HME/Ii0n3evx4yZGHJZ0paopsFEh0PHzSF2oOP8ogz6C
pW2T5AS7As+mmR1MvrMfP3p8bUZz7AVb6pB6DwTAeTumm8MVNSO55b5sQVC09kOA
bWBJ3E91rUv84q3I9lIqNc2ixGJ5Du5ilPAP1nTrMwGgsWW3dos/9CAWN37cCJwt
bPuuLl7Ca6Q5JL0BuqJTIrZHaX3/gsHIQ7dkHHbkiPRsaDJlMaZHTp8GUgkbDyJJ
etOB0BXrCPr1BmrGVSSLEM15iOGOHqQXkZBZnjmZ12N4u8DvSJjEqmfZCx1NIvYI
Hls7BJEx33Ck17ZLZmaOKSJvvzmXptxTNIJMVPfOxWM4x4Qb8jvvrYdjUmbiGNkC
XFo6KKQbrQOj0fm564UNYLh3x/WHKcIRipfNjMHpE5KjXefv8x49uZGcenFeRo6F
gJv4mIuRmBHxzgm8cPA6NfUBrpuYmN5c6UT7esQco9KU5dU4SqQK1LNVWlWJj2KA
gC3RgK1mPavy4SON4T3skK04RxJ2NxR3NdAMLLLHJCuqDspLSFysJ/2YZWPGKzKV
cr2JcEzKMROoVcQjc061wtmbfqhD8+dB2u/o94J5mG+swJig0K8/jf7SR8wyYcRV
1SxzDIK7auiKztSo0x/UQU0loVXHSzJFCXCUGP+CVs2prMdH+9c=
=O1YC
-----END PGP SIGNATURE-----