-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 29 Jan 2012 20:27:04 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.5-1 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.5-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: cd688450e97c91c40d876ec6efbc56e6f1fe0732 1996 clasp_2.0.5-1.dsc ddc63cccc7848bc2f41739f230ece0db5dc0f2c1 376104 clasp_2.0.5.orig.tar.gz 88b97e824a21e5807d0ae4fd69ecb81d98b7de2a 6072 clasp_2.0.5-1.debian.tar.gz 3201f3496da0db7d6df987a0bf5da627e3c25d2a 378922 clasp_2.0.5-1_amd64.deb Checksums-Sha256: 98ae32d82f382f9f90b718c6d0cb7bf63ffe96f770ef2af0ee27f9213f205ed8 1996 clasp_2.0.5-1.dsc a7ffc239573288f58eca201e1fdb1aa93021dc86ce56a09546d7a0fcd4ebc580 376104 clasp_2.0.5.orig.tar.gz 6203064ba52b2db6370e07bdf2d38cf7c4c91b0668f6609dc86548228f70d6fc 6072 clasp_2.0.5-1.debian.tar.gz bccb47a2c5f8c7bf7247ee384c1ed6e28c39053a8fe0a37eb47a7dc2b60a6fea 378922 clasp_2.0.5-1_amd64.deb Files: 3fc58ded0a2e508fee2ed5f91849863d 1996 interpreters extra clasp_2.0.5-1.dsc 1e0672aaf46c2750a17c8892934dc189 376104 interpreters extra clasp_2.0.5.orig.tar.gz ffd90b39c50eb2bdeb9b054bd1b5b503 6072 interpreters extra clasp_2.0.5-1.debian.tar.gz a600eef68890aec026f4c120e030b5f4 378922 interpreters extra clasp_2.0.5-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJPJaGUAAoJECeX33SmZpqp4GYP/298mpTaCtupWgxB73osR0Bz gseI6TeOEgnzB3uZPiPP72TF/zpyWKXlIM3XB6kVdxj5Q0lidn9FMh3FsBJrMDXt CBMF4+kJiTAfmNUpcfsobE4HOl0rh/I1s07QwvwBLHRXPzw4wwa8/5HsLzWET8fU BanRQbOtskt69o7aWSR0GnReUCGDoQmNl+LvWrJSIPsCvaAIjX9i+EB717wzCa9a TNxTLF/wLzhx/5XyWHCIk/CRubbPWDGvm238pp1AO0Aroxq3KRttiZMmQUR4wXNS 497uc2EcwoFOkIs3zlgMpBik4Tid7cEqPl9bK2/0SesioMUIa3iMMV8vv9kTmLqj TlW2Q19PGH/YwpzmfHwrFjd5ShqjndCyet9hqipjmUrCQTbyJu+Bl8PzdxyIcta4 EV2K6pNqNq25q4AfMOecwMhAcRsb4eNDXtPhyKKLGkTV1IgHQ3zxvq/sNKfYsnIk fGvTXbl/uGJ/ynVHPsA5PxwnCvIJelYvWvTPPh9Q41z+9o7bJ2LdmWlYDa5uZ6Op ncwlo6L2TXSwIoqtqNSYjIUVvOpQeAgJODfy+GFrX3tcw2Uj3z8ddObSGHHp/LBJ gVYesTyU9SEvFUOFfY0VpZpyC7Xhhg+MQbdcwm0T49iBBOHMOLT8rvF6swc84193 2cXNSR3hLFV+S/nQOLGs =ukgb -----END PGP SIGNATURE----- Accepted: clasp_2.0.5-1.debian.tar.gz to main/c/clasp/clasp_2.0.5-1.debian.tar.gz clasp_2.0.5-1.dsc to main/c/clasp/clasp_2.0.5-1.dsc clasp_2.0.5-1_amd64.deb to main/c/clasp/clasp_2.0.5-1_amd64.deb clasp_2.0.5.orig.tar.gz to main/c/clasp/clasp_2.0.5.orig.tar.gz