Format: 1.8
Date: Sat, 05 May 2018 12:58:06 +0200
Source: depqbf
Binary: depqbf
Architecture: s390x
Version: 5.01-3
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-016.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:
 784867d3588d053c50039e15a80f1e56cd5fdea7 449384 depqbf-dbgsym_5.01-3_s390x.ddeb
 a07d8a604d1d359d9ec0839747cb06444f918aeb 4874 depqbf_5.01-3_s390x.buildinfo
 94e41b77c420f0b4c2bb3b40c6120c35b5dc125a 118360 depqbf_5.01-3_s390x.deb
Checksums-Sha256:
 da86a00bee1eafaf1b06bf20fe0d159bb77d3669d63ef1b525ff24db0df6517c 449384 depqbf-dbgsym_5.01-3_s390x.ddeb
 1c41a1f3cf3f8b4880e2f58e84e065abfe8a31a46206da1a413ec79196ee5405 4874 depqbf_5.01-3_s390x.buildinfo
 16a4560669e3dcc3a73e582b87475ae9174fd20b7524fa915d7a1d340096fe07 118360 depqbf_5.01-3_s390x.deb
Files:
 b426e1c725986eea8b6c5377fa0f18f4 449384 debug optional depqbf-dbgsym_5.01-3_s390x.ddeb
 19941666785842a7214d969b1501588f 4874 interpreters optional depqbf_5.01-3_s390x.buildinfo
 f037ab5c9bcd850e7c396d95b1c5f4a7 118360 interpreters optional depqbf_5.01-3_s390x.deb