Format: 1.8
Date: Fri, 18 Aug 2017 07:02:43 +0200
Source: clasp
Binary: clasp
Architecture: amd64
Version: 3.3.2-1
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-06.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Changes:
 clasp (3.3.2-1) unstable; urgency=medium
 .
   * New upstream version 3.3.2
   * debian/control: Bump Standards-Version to 4.0.1
Checksums-Sha1:
 4d0b11cdde794e47cd9ba2f3616c480162398983 5276036 clasp-dbgsym_3.3.2-1_amd64.ddeb
 cdb7933b7f16453075f916d3f7f5d8c9407e70b6 6314 clasp_3.3.2-1_amd64.buildinfo
 913c66cfef3c555c9dd425adefc40e5766c19b8e 621174 clasp_3.3.2-1_amd64.deb
Checksums-Sha256:
 5ba3e81acfa56efa4c94b0c75e6a737a68e0ad8962214cd63f92304e7a4cd9a0 5276036 clasp-dbgsym_3.3.2-1_amd64.ddeb
 a6d4fd8d63f7e5dcb1cd1190c1f055ae03211076f094c95c33e1530f39b483f0 6314 clasp_3.3.2-1_amd64.buildinfo
 fab50675410e83efee175aa47ad24065dd1093009946b09eb6165f751f9ffa00 621174 clasp_3.3.2-1_amd64.deb
Files:
 e279b3d20e1f9febe003f05a8b6e1869 5276036 debug extra clasp-dbgsym_3.3.2-1_amd64.ddeb
 7b988ce24b89545e61e6bf32d0ff6e76 6314 interpreters extra clasp_3.3.2-1_amd64.buildinfo
 440985ee107da406dad7bcf0dcba3f11 621174 interpreters extra clasp_3.3.2-1_amd64.deb