Format: 1.8
Date: Fri, 18 Aug 2017 07:02:43 +0200
Source: clasp
Binary: clasp
Architecture: ppc64el
Version: 3.3.2-1
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-026.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:
 e8152be1c810956ecb5a5a6df5dfa8a840f25cd3 5228020 clasp-dbgsym_3.3.2-1_ppc64el.ddeb
 0dd47d4b28d4226d058526ca1d47febba8f25779 6169 clasp_3.3.2-1_ppc64el.buildinfo
 0386a8855cfaeee5c38d62eef6d1c4af909364db 663542 clasp_3.3.2-1_ppc64el.deb
Checksums-Sha256:
 0dad45b22b394e7b1f7b55e66fe93faa21f15d9b78383fc5c9e0703674d40e76 5228020 clasp-dbgsym_3.3.2-1_ppc64el.ddeb
 0409411dd0f8ffbd96f08fee3fb37e98a9a55c83eb4e3338738abc6a16eea717 6169 clasp_3.3.2-1_ppc64el.buildinfo
 a7f7f81b6123497b16e7319e7996a28f5d104847f57fe3922e26bff2ea7b30e1 663542 clasp_3.3.2-1_ppc64el.deb
Files:
 d44fc8b661209c8b6381ff80167d5bde 5228020 debug extra clasp-dbgsym_3.3.2-1_ppc64el.ddeb
 a0df87526c9484c03a7432a3bb851519 6169 interpreters extra clasp_3.3.2-1_ppc64el.buildinfo
 6b5c0d58dd281b761d7b72ef77720f47 663542 interpreters extra clasp_3.3.2-1_ppc64el.deb