Accepted clasp 2.0.6-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 27 May 2012 15:41:47 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.6-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Dmitrijs Ledkovs <xnox@debian.org>
Description:
clasp - conflict-driven nogood learning answer set solver
Closes: 674184
Changes:
clasp (2.0.6-2) unstable; urgency=low
.
* Team upload
* Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184)
Checksums-Sha1:
0378a024a048828342ad8b24aad2b6c48f22ab61 1996 clasp_2.0.6-2.dsc
a579a32c5215b1cef62de962a799cbb2c3467341 6297 clasp_2.0.6-2.debian.tar.gz
5c4d87b9e06da4bbeaa0e0dd489fafc8c7a80ed3 406820 clasp_2.0.6-2_amd64.deb
Checksums-Sha256:
6cfde46574506e75a486327667d06cac419cfb654f38a22f7a1bbe989d3c8081 1996 clasp_2.0.6-2.dsc
5fd36e796d42cae9f347f00137717c95144a6bbb4e49a251cde4321f93e0ef1c 6297 clasp_2.0.6-2.debian.tar.gz
205da1ea86a47f73a0c732e77be9fc726d0d532022337cd3d7d8384c4af9bf71 406820 clasp_2.0.6-2_amd64.deb
Files:
8ec93c64106bd1fa29588983d5b36ba8 1996 interpreters extra clasp_2.0.6-2.dsc
1275ec6de4abf4ac09e461343124b122 6297 interpreters extra clasp_2.0.6-2.debian.tar.gz
84a99f8e724ca616df0faeeb976c6247 406820 interpreters extra clasp_2.0.6-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJPwkGpAAoJEIh7YGGLPBau4CsQAIKrJKmse7ZKBwIBwVyc9oLi
y3l2huV2s5Um01F5RdvW3ctGbHQt3IUFWtDUisU8k5VFlDOkM2QnotY1Jjao9W5n
Jtyysgep7wFsboLE4S2fRekQjg1S3b3cqTYzy2rQUciRxBOIQrCjxvCvzVfbJgd+
5PzinXQXnTgMsNg9j/UYzORzp5dXkZ4U6JUQ7wsWh3+ocJHCmMpQ0xVqWd29tFEZ
mS9eINMwCPVYi/MijPcgNCXujFCilzt5qSJ+1WLWWg3R3DdjTfDDXpSY80/ek/0m
sbi1UTLeKm1DYwCxvcNWcv11v1a+cRnrg6GhRBCU+AS9xcZkzrM4d5dlC8N4MGQO
Z4gRox0q8BJI6YzhlKbc42PKdvbWy2HRWWcPQP5TEtRws7QqDB3LVooPk/XFEhDD
R+Aj+4F+3/Q6aPGvCmmRmBm08HF75zMKD88TdDFWJhFKIOYnVlIefqGj9OlTYDNu
yVRI2gMUiTfQv8F/Df43Q0il6mAoknxDIMb32nqi1YWj13Z8capo0dEfRyvWrHHV
QI+0ATePdsJjQEqHjyNW26MVlzHzTRzIVzeese6CN79jUXr+Pp1dDYSufNIbA52H
L84LegbdJdzPYwuBbq0nfc851kcKJzRe3p1UEnZgXNCjwhaLbOT+7G2tJqb/ljST
zU1604sDztZ6dFgvclxT
=t+k/
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.6-2.debian.tar.gz
to main/c/clasp/clasp_2.0.6-2.debian.tar.gz
clasp_2.0.6-2.dsc
to main/c/clasp/clasp_2.0.6-2.dsc
clasp_2.0.6-2_amd64.deb
to main/c/clasp/clasp_2.0.6-2_amd64.deb
Reply to: