Format: 1.8
Date: Tue, 22 Dec 2015 09:17:35 +0100
Source: depqbf
Binary: depqbf
Architecture: armhf
Version: 5.0-1
Distribution: xenial-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@kishi02.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
 depqbf     - solver for quantified boolean formulae
Changes:
 depqbf (5.0-1) unstable; urgency=medium
 .
   * Imported Upstream version 5.0
   * refresh depqbf-makefile.patch
   * depqbf.lintian-overrides: add override for no-shlibs-control-file for
     internal libqdpll.so.1.0
Checksums-Sha1:
 4325875aac8fadedea41863313b57ef5254fcd55 271598 depqbf-dbgsym_5.0-1_armhf.ddeb
 ab2f077246e7801877337acca9e0373c40fda44f 128884 depqbf_5.0-1_armhf.deb
Checksums-Sha256:
 7f6e8faebc8ebbe3f3a82e0a43840fed8d262c5cf3f500f394d159f4311cd823 271598 depqbf-dbgsym_5.0-1_armhf.ddeb
 76250317d2663f4b0e90a28913e65a53593d5dcdecf05cb13e4c8c2ecb437cfa 128884 depqbf_5.0-1_armhf.deb
Files:
 f15aa121d6f87c25c719053bbcef60b8 271598 interpreters extra depqbf-dbgsym_5.0-1_armhf.ddeb
 24e2e52e8f8ade8be2c3a584aeaa300f 128884 interpreters extra depqbf_5.0-1_armhf.deb