-----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-maintain...@lists.alioth.debian.org> Changed-By: Dmitrijs Ledkovs <x...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1syfw7-0005gi...@franck.debian.org