[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted clasp 2.0.5-1 (source amd64)



-----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


Reply to: