Accepted clasp 2.0.3-4 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 17 Oct 2011 07:52:01 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.3-4
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-4) unstable; urgency=low
.
* debian/control: Build-Depends on libtbb-dev >= 3.0+r018, version 2.2
is not supported.
Checksums-Sha1:
52fb8aa1b7def1f12ceb43cd0e34d1a5489ba094 1996 clasp_2.0.3-4.dsc
ba623b28fec63f775ba06867bd71f51535d989ea 6090 clasp_2.0.3-4.debian.tar.gz
f60a6c47c5f1f13966c4d441a744814bea26fcaf 373704 clasp_2.0.3-4_amd64.deb
Checksums-Sha256:
8541c5edcfedb597a36a9cdb3da1c62d8c737325c6a3fad3c51000a5e1463f09 1996 clasp_2.0.3-4.dsc
61737beba50554648af6df0a821719341a72656d25836dddf7780e6299719393 6090 clasp_2.0.3-4.debian.tar.gz
0806ca992e7d794b263364f8c05bdc06eda87cfd19a9a04c7ae420fc2e69ec7c 373704 clasp_2.0.3-4_amd64.deb
Files:
4c1fcbfa815eeedd10631efe64d7909a 1996 interpreters extra clasp_2.0.3-4.dsc
9f73bc52d5280f22b411a60f28381143 6090 interpreters extra clasp_2.0.3-4.debian.tar.gz
927873c71933270a3a479f4e27e92ac1 373704 interpreters extra clasp_2.0.3-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJOnVivAAoJECeX33SmZpqp+NUP/28QTzQrpKt/+ZxetRloZP8q
roYTl/hb7qe+S3uZZp81XlFuPyMDMTN9OVckuCDasG8y3SMs8uYmWuRlltTYwYpg
J9yu5FQWKVGkblwVS8hmT1rrj0tfzKVaDJ9LigQf6NnqOIgR3/M9dobWqMFy+UB3
RfL+Yksbwi0A+wr6EzAhCQcZ8RtbxYID6LShJcbDE8cA1epiMU85kYHadi0OSDh9
KzT871XcXyKvSwbFDwuXR03VnEIP9qvyCdtJrgTjL6LryQGWKWOYdmb1O0X3N06s
9El/j6FbT6FShWK2k3wtZShqV8BJFsxIapTe2FjlA42WG082IsxPOSOeDfgxJeDv
6rc4rFgae5MMBWjyPEN4lGcodhpe6fEpqqH8EyAAVSwxxMsXuk9dKEPir7ohQ+9V
+5RYO3pHlqkJYQl963YbyKyX9o25+jU+5C7fbzK7wkcnCCtTEgCUCcYuLC6C+zHE
Nw47tewuJ3+btfEkzyZ/ATcwHqEI0+7D6yG9wCgY/dBVdDz4FoUAQR0N/5B+Tj9A
zGk3gairzO9OrcShkzEFO1FJCQGl96KKY1zYxU6ZPzXAPkedEnbeUOOmCWhg/nul
MnAQO5459Psx2hPq5zT3HFQR5MDM47rY+Vgdf1RKxAEd4F1baWMI6mJZz6OHazOq
Ioa8M5BlNNg0AXr+Zz6f
=zGah
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.3-4.debian.tar.gz
to main/c/clasp/clasp_2.0.3-4.debian.tar.gz
clasp_2.0.3-4.dsc
to main/c/clasp/clasp_2.0.3-4.dsc
clasp_2.0.3-4_amd64.deb
to main/c/clasp/clasp_2.0.3-4_amd64.deb
Reply to: