Accepted clasp 3.1.2-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 12 May 2015 07:18:25 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.1.2-1
Distribution: unstable
Urgency: medium
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 (3.1.2-1) unstable; urgency=medium
.
* Imported Upstream version 3.1.2
* Fix dep5-copyright-license-name-not-unique and
missing-license-paragraph-in-dep5-copyright lintian warnings.
Checksums-Sha1:
77276795f25c6a2aaacef48498df87598e8474a6 1994 clasp_3.1.2-1.dsc
bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba 519683 clasp_3.1.2.orig.tar.gz
8e990d7c07819bc605866b5265141ddb7883a3d6 6428 clasp_3.1.2-1.debian.tar.xz
ce3c74fb46f8acaa7ce616fc15dcebe0dea24546 465446 clasp_3.1.2-1_amd64.deb
Checksums-Sha256:
5118afb828089f27e23c2ae4b46e896f2307625b46615306a84fb95703c03442 1994 clasp_3.1.2-1.dsc
77d5b8fc9617436f7ba37f3c80ad2ce963dfefb7ddaf8ae14d5a4f40a30cc9d3 519683 clasp_3.1.2.orig.tar.gz
913a55e172cb9f241b3a2cda1a1b29ec4d03a142fb9e8e814cbffd8d671053eb 6428 clasp_3.1.2-1.debian.tar.xz
e90c7b6a21f79d455a040f6b11b53c8d817f039e4eeddc6f9685a350c5fba2f8 465446 clasp_3.1.2-1_amd64.deb
Files:
5292e0609344ac7bc8a65eab003e5fd1 1994 interpreters extra clasp_3.1.2-1.dsc
54f19daf3b705b34881c39222d359429 519683 interpreters extra clasp_3.1.2.orig.tar.gz
b69894d661d931c744ba3646083b58ea 6428 interpreters extra clasp_3.1.2-1.debian.tar.xz
457bedb78bc9b7ca8ce33a1c365ecf8b 465446 interpreters extra clasp_3.1.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVUY8vAAoJECeX33SmZpqpmmgQAIonsI0j0yPNU9NKREB0Tb9K
RTZzMijHLpXz4pTs+Ix/0y859o3bgQZ66GKoiQqgDzX+tXU6aQfvRfpLclso3378
759/2xKzErepaJbkchvsKvpILMYTQ4bQcTwelw4fcIrm1QO/jJcN377UB1Mdl0cd
WQbyBJtGTe3c7ToOU27XB6WIsuk9P4oT7kK4n2pL4JK0yfLm0XUTNHvav6lDMEwA
KNIWDAsTfpn5hm8XEW0xWYLBDw+ho1eSvmOpju/9/2BEd87bX0v/Qh/wVnqi9t0T
FxnCsUr/X0sGkyTWoPuH/rcqNqH7n+yu4IeNmldGad7LBqWxCA15aobo8VTeT0cl
0oT7yveouUu9Q4nNnVAkWk2CzBZ5cNezA4lh1w3BaNIzzHvLdFjUqJIWV3ElBSHc
/Q2Gv+J9J/uwgNqrMdBciuywsDGBu6zNrPhWTfAyasJow9FNNK3ycq87pXkT41q4
Rc6j3YkRrg1qpKjicNGg7aobSu+CMEBn20DiT0Q11qq4oU/tp2rOmAVXFc4KRnsb
nrKpyaD+ErmTuihaezt1wOWtmw6cftc+hrAxBKmNLemoYlbKg6h28OHH0il+2ucv
ozyNNuGfxqooAhiktHNuNXhPNprwt2tSwd95hd80IX6alEd7FRBPYl4wYT0Yytl+
g7lvYRrWDjKfj3mTZsCh
=AiX8
-----END PGP SIGNATURE-----
Reply to: