Format: 1.8
Date: Mon, 05 Feb 2018 20:22:21 +0100
Source: clasp
Binary: clasp
Architecture: armhf
Version: 3.3.3-3
Distribution: bionic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-058.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Changes:
 clasp (3.3.3-3) unstable; urgency=medium
 .
   * debian/rules: check DEB_BUILD_PROFILES against nocheck
Checksums-Sha1:
 53843b4e7096dcbf3707ddee6b13b55c07a982a4 6535 clasp_3.3.3-3_armhf.buildinfo
 9e4d6e51438004b92d4f6e83c235b507a1993204 541656 clasp_3.3.3-3_armhf.deb
Checksums-Sha256:
 9cefeb50589b0ded7ecb90a56067108d430ab91d150b927fad61b3efbe89a79d 6535 clasp_3.3.3-3_armhf.buildinfo
 9e75fea86a458c26502ee768a688b60f6140261982b31cc71c2844293107ab04 541656 clasp_3.3.3-3_armhf.deb
Files:
 3f87e56de3f59be841e4f2b081a07022 6535 interpreters optional clasp_3.3.3-3_armhf.buildinfo
 91b5d2a369872f2820d124ea965261cd 541656 interpreters optional clasp_3.3.3-3_armhf.deb