Accepted clasp 2.0.6-1 (source amd64)
-----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
Reply to: