Format: 1.8
Date: Sat, 05 May 2018 12:58:06 +0200
Source: depqbf
Binary: depqbf
Architecture: ppc64el
Version: 5.01-3
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-020.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
 depqbf     - solver for quantified boolean formulae
Changes:
 depqbf (5.01-3) unstable; urgency=medium
 .
   * debian/tests: add dep8 testsuite
Checksums-Sha1:
 b64d022c53e09bf8f5ccac88df96e2ad683dbe9d 495908 depqbf-dbgsym_5.01-3_ppc64el.ddeb
 c0e366b52a10edf9a022adb8a70208ab11f0e6f5 4956 depqbf_5.01-3_ppc64el.buildinfo
 9d10ca625f4e25758e24b055dd9f36770622b967 144904 depqbf_5.01-3_ppc64el.deb
Checksums-Sha256:
 f98d854c84000d20cf3cb6312f8ee0153dd3bcadf83a598f8e950a09781c0dc8 495908 depqbf-dbgsym_5.01-3_ppc64el.ddeb
 7a1930d80c24e277dd608902fd53d267692ff2a0d2c799bf8ca00ad358601d6f 4956 depqbf_5.01-3_ppc64el.buildinfo
 b20af5a95706921f68c2ec7fbf2fa1a6566d5584b56d884607ad67b933b5ad38 144904 depqbf_5.01-3_ppc64el.deb
Files:
 c7c1946a61871d51613ea2ab7ac7d318 495908 debug optional depqbf-dbgsym_5.01-3_ppc64el.ddeb
 f39df5bf0152ebf9b55f0e2e8ca8105b 4956 interpreters optional depqbf_5.01-3_ppc64el.buildinfo
 cfebcc8d816f87ecc3029b7605055dd4 144904 interpreters optional depqbf_5.01-3_ppc64el.deb