Accepted clasp 2.0.3-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 25 Sep 2011 21:05:22 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.3-3
Distribution: unstable
Urgency: low
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
Changes:
clasp (2.0.3-3) unstable; urgency=low
.
* debian/control: Do not Build-Depends on libtbb-dev with i386, see
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=642248.
* debian/copyright: Fix obsolete-field-in-dep5-copyright and
unversioned-copyright-format-uri lintian warnings.
* debian/rules: Only set WITH_TBB for amd64, ia64, ppc64.
Checksums-Sha1:
3e9b340cf295c70b48bbd15108532eda9a5b343a 1982 clasp_2.0.3-3.dsc
433fafd7cf57d0791bcfd7b1ca5a352eeb3e9805 6020 clasp_2.0.3-3.debian.tar.gz
98c63014efa72cdc827727b9a2c7b6e9f12ce0b2 373604 clasp_2.0.3-3_amd64.deb
Checksums-Sha256:
d675e609dc82ca8dcb3c101a94d6586ee6093c4be00d9bf1105a592c9bbc22fc 1982 clasp_2.0.3-3.dsc
79b6f71cc6188a26d3e254cde7f2d33cbb31a14fa02fa18efeee6db510e5bae0 6020 clasp_2.0.3-3.debian.tar.gz
e33be3b01d3aeed04a8142da17f7d470967330af943fda7b724ca6ebdda90cf7 373604 clasp_2.0.3-3_amd64.deb
Files:
ea38ad25e45d988398cdc589cf01afb3 1982 interpreters extra clasp_2.0.3-3.dsc
e504ef383d445316c658ed8d38d9c40e 6020 interpreters extra clasp_2.0.3-3.debian.tar.gz
c7efe53b9bba14a6fc33f98fca103c2c 373604 interpreters extra clasp_2.0.3-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJOf3+SAAoJECeX33SmZpqpDEsP/jNe1yC6vFtwvbAeq/tM+LGL
9kkeB4YqqoxIjjCFcM2ywlAaTRuFat35d17p0HBfr/uov1J6jKmwIaQmGFZEksUA
7TExh8R7X3Qc5WPxWuB7Ntc2CjMOEZG9n4gdimq5kTc2GJ5F2wPMQh+egCbWAZmB
Jm8r1jkJZXXR/A08b+6XobR3dtCzKU/8eu6/0IuywSGjXUF8JR3WhqGmWQBWhEn5
hASNuiQKxQYlGQsmHe3OdzzmVYin27oxQWVZVzcAVENHA2ZZc/VfoWdysf8/m3Fu
dPpoq6VJKERnZIx9+Bm5YO0Y+FIlQ1H1RzDn/johzsWKX+4fIimF6GIOqH87SHJm
DXPTlRomqP4s2oC6FhJZ+QZZTD0p9mEc1wiKnwNWlFPYvk+GLDLfFnxHwF/Q4a4P
P4j6N/mqDWTJGS2VyMJjjW0087+vAlQhSJoyeCVEYDbyS159GBhKFHDL5s4baqcl
oqQ5PnLYAsSHh7kuvpPHJsqLOhY0T1cQnhGlwT0MOTWD6dpSj7WjQM+H40olo3zv
qOzDZh3x4EsBx9IMlYdk+PY4pp5LJCJ5SqChMB+odUA2XwT+jR5EeArI5joYx1PE
56XhPwBShXJSeUoFw4UV+ukuA1iqxiV3jVmpWF9Eo+VXMJSPyscSzjvSpXhyg6G1
+fuZyPMUtyQblrVmGf3k
=KtDc
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.3-3.debian.tar.gz
to main/c/clasp/clasp_2.0.3-3.debian.tar.gz
clasp_2.0.3-3.dsc
to main/c/clasp/clasp_2.0.3-3.dsc
clasp_2.0.3-3_amd64.deb
to main/c/clasp/clasp_2.0.3-3_amd64.deb
Reply to: