-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 04 Apr 2012 06:35:31 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.6-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.6-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.3. Checksums-Sha1: aa580532d8d2c85fe3af80c794efeb36e0cf89d2 1996 clasp_2.0.6-1.dsc 901c21c782049337ff5572c88fc36d05b9fb2d31 381149 clasp_2.0.6.orig.tar.gz 5c5f3815e32a4dbd1527c3a7eb2379dbcc5712ac 6099 clasp_2.0.6-1.debian.tar.gz e1d8ddc50b311c52003bc5ded43fbc2e090b3f23 380234 clasp_2.0.6-1_amd64.deb Checksums-Sha256: 03a5dca29bf4750c39bff7505652fe6cfe6c50c4482b1c5b561034859dddfc42 1996 clasp_2.0.6-1.dsc 9daa16771f85635b5912b25bed6da817a52a6ab9e76cd52771ae83a2a9388cb7 381149 clasp_2.0.6.orig.tar.gz ac6fa6923b6af5889979573e9b92b44e2d4b385455966a52c2791d630214f403 6099 clasp_2.0.6-1.debian.tar.gz e82b441cedc912b2976a4970f3c0c72b31340045c89e5d5deabccee1af035469 380234 clasp_2.0.6-1_amd64.deb Files: e1d992ea09cae0fe6590424ab43edc36 1996 interpreters extra clasp_2.0.6-1.dsc b2165482a480dc6ab5cdd59bba38dffd 381149 interpreters extra clasp_2.0.6.orig.tar.gz d0428a84289ad94f235ec2f15c5a3e7a 6099 interpreters extra clasp_2.0.6-1.debian.tar.gz 138c42bd71b584d5b82a601ceff22a0c 380234 interpreters extra clasp_2.0.6-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJPe9SIAAoJECeX33SmZpqpZTIP/1mlHJZEPrjyRF2lywy20Tcf gsMV3uOgYzSW/yk7jW2IQgROM7yp9h/CTMEKCW80VnZfFS5nK1hepjRkQh1+Cvog rkMBRXsPw9DaXREeStu34PpSGU13dgMhfg7TIiy/6c0n/YqzW83CKa64NJqUM10B 1teDzOaT6JgJlVh7cK8TEnN16BHUV05/5aM1XoLqiOFsySJ8y7DDin/eGDNWBo/0 ZqSi0GNmt475KD67xNR2Z2PPHiEgs6XLeBIpy6wEVXoIOoo59nlvbOTyt2uxai1J L2xqd8jqHyf2O9ubcxECKnOrS9M2tcDZlZs863wRETjU6AufKz84pprqaROuYheC P4ocnoDiYbq5NcM2Gd3zdI9Mc9RpZZ6vpthgJx2pQgeBXAp2oT9pTqsYDcJoDiKs hADPSpJAFAs25nxuLW06lCyMEY0aodgGHVsEYVLB9rTV5xFFgT+2hh2AFbef807b flChlaehD9Nl83MNkMs5IueTY+O3PRnoRNvBd7RaA7uWIpYRyI3npk4O7yX0tISo 7S+lOBnYhecQIy0DNcHO9y2wSvqwD6k7EmdsnifA0wcSEXjxP3bi6dhg+ihc4/4a U+prQGQkZiTjAEHBzLtwXb4q2Slowe2s0VU5PrqhBjzfxniosDvtKEwo6ihI7RLc OwwX6uOOLiZG/s1K/9eX =pMC6 -----END PGP SIGNATURE----- Accepted: clasp_2.0.6-1.debian.tar.gz to main/c/clasp/clasp_2.0.6-1.debian.tar.gz clasp_2.0.6-1.dsc to main/c/clasp/clasp_2.0.6-1.dsc clasp_2.0.6-1_amd64.deb to main/c/clasp/clasp_2.0.6-1_amd64.deb clasp_2.0.6.orig.tar.gz to main/c/clasp/clasp_2.0.6.orig.tar.gz