Format: 1.8
Date: Sat, 05 May 2018 12:58:06 +0200
Source: depqbf
Binary: depqbf
Architecture: riscv64
Version: 5.01-3
Distribution: focal
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lcy01-088>
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:
 34be4c57722e1cb4509c6ac0fa11f9a14d65417c 502196 depqbf-dbgsym_5.01-3_riscv64.ddeb
 cba6efab17080e9f6768c9ef4ea9248c7c7aa551 5007 depqbf_5.01-3_riscv64.buildinfo
 485358f8fb019c4f56881a4c249ade369787f4be 234868 depqbf_5.01-3_riscv64.deb
Checksums-Sha256:
 622ce001e8a3c9001481f8c08b2e559dd0d6271141af82cf1c5882315fe8ea53 502196 depqbf-dbgsym_5.01-3_riscv64.ddeb
 57473c71fd11e0d95346109a629522a4ad1adac1e4709568a5d59c19181ef90b 5007 depqbf_5.01-3_riscv64.buildinfo
 6c23c4cc4be0bd99259c5d1685ceec0f8c1be9de72915a661f26d8d74341ec99 234868 depqbf_5.01-3_riscv64.deb
Files:
 fc5538e8804c4f8a82fdf2f54b5166e9 502196 debug optional depqbf-dbgsym_5.01-3_riscv64.ddeb
 5b0090beb54f8c45c13167c1fe9ee0a3 5007 interpreters optional depqbf_5.01-3_riscv64.buildinfo
 d5695dc84177a13c59657f665336c04f 234868 interpreters optional depqbf_5.01-3_riscv64.deb