Back to clasp PTS page

Accepted clasp 3.0.4-1 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 24 Apr 2014 11:26:44 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.4-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 (3.0.4-1) unstable; urgency=low
 .
   * New upstream release.
Checksums-Sha1: 
 59c6b2ce910fe087d2dd62a5d0025408d5cf2f67 1992 clasp_3.0.4-1.dsc
 d4f510f53c90c9c77d827c240f49f79d3770a671 483884 clasp_3.0.4.orig.tar.gz
 af2c54dcc0fa823913784bd5d57af23b1610b87e 6284 clasp_3.0.4-1.debian.tar.xz
 0f8eba35bdd6c9310ef606c0289200165fdf07a1 424540 clasp_3.0.4-1_amd64.deb
Checksums-Sha256: 
 9b432aadac31f7a93bb63de8331e73e85f55ac7c7e3e5be1d975e5c55929b413 1992 clasp_3.0.4-1.dsc
 9daa0018a1623092f6d4c220f6d4cfc17f3348ddc7136efd0be97913ba5707c5 483884 clasp_3.0.4.orig.tar.gz
 3e39b4d4a1cee4f5b22a9a5f631783254e5a52990b2d1ed0b2e8839bd2dd6f3b 6284 clasp_3.0.4-1.debian.tar.xz
 a5870068fe1c86428518ca4ae92cf58c4996015a2805fa325dff249c22cbe53b 424540 clasp_3.0.4-1_amd64.deb
Files: 
 a8eb1a48246cb8ff05892e1b1a0c459a 424540 interpreters extra clasp_3.0.4-1_amd64.deb
 b973906ac4e2c5ec2ea2b479bf2c277a 1992 interpreters extra clasp_3.0.4-1.dsc
 12a314b5a0f7011ce4fc76153a853be2 483884 interpreters extra clasp_3.0.4.orig.tar.gz
 0fce2ef6a03dd388d856f09b211e4b60 6284 interpreters extra clasp_3.0.4-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJTWNq0AAoJECeX33SmZpqpEl0P/jpKYxQKJSekscteiJffs2V7
GVvplL83D+Nxcv7xJW8snYa2bSdof0WSVgfYFdgWGgJPvfer9abrnCESLoo0f4pi
XMpshTO+89lXgsnWQGHmdW5zsLNd5mqb/Xu5mDZiyTfMpe87hKBDtdlBWoKTcLxZ
aWTnIBho5vWxT9O/32qUxwgn9aYXvkYJwcQsiNsGt5slTVM1vvcIu9lu4Jfdb97m
GA80DpmtW+e/kk3uLumlC7mPZRhy9XEU4+pI2Emtczce0B++TK7wZJy0p5q/q+kX
u+8wwxkweIOY8DDbhJJZr8Z1acKmljt2RuEt+orHY8Lm/7+wVTGc1+YKYa3bVeuT
X4g6UO2Cv2cUV+26Q4Y6d+AjtN1zPCGo9xOheBINLiK3wzgGgZWsw6nS2vK3h99v
D2EKCFstIkUSJo80sNiS9jeXfTSfU17eD0pvmbjDwvqy8NpWyYIAN1aS6S+SN2oQ
HzFI5WCqLNLAANc4nxuMx0HhlP2/unxq2ueG9P4+35lFHU7jBWBuSPdSQofVzov8
qhFN6vBTHTQEaeAZapsoyTNUTVCXN90aFJXlp/l9gP+EVAxUTe08aasOlNqgQya6
VwdE3z9KV0cnn5+2NtEBm+yH1I9hrmygSVAkKU/A5lwoozvjyx5yckICsUZKeqsF
5Pyezy5jpzmUQtje61zQ
=8Mn4
-----END PGP SIGNATURE-----