Format: 1.8
Date: Sat, 05 May 2018 12:58:06 +0200
Source: depqbf
Binary: depqbf depqbf-dbgsym
Architecture: arm64
Version: 5.01-3
Distribution: sid
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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:
 7c7792f8c5a78df636d7727b1a8087db3a909d64 543148 depqbf-dbgsym_5.01-3_arm64.deb
 006d3c2d5269f11a44d0be1f5262be1a4635cd10 4830 depqbf_5.01-3_arm64.buildinfo
 4f90eb8ba9a7bdf243d398d7e749c2df1220aa80 124676 depqbf_5.01-3_arm64.deb
Checksums-Sha256:
 f01b16d148930429a86c75ce0dbc2d51561465a47cc809ca9077217b795a7877 543148 depqbf-dbgsym_5.01-3_arm64.deb
 115ed6fc9de3a3ae949d3954f91a2e3156099e32f7e8c09710e9935bff48d0d8 4830 depqbf_5.01-3_arm64.buildinfo
 5ca104fc2de2e864a4b803dfd8b65c17ad6de2a194cdf9721678e5a934fdd175 124676 depqbf_5.01-3_arm64.deb
Files:
 60384a1b7a237475c4d9fc32ed67e7e6 543148 debug optional depqbf-dbgsym_5.01-3_arm64.deb
 64f9b18c2d1a92fb558ce69c54fdd09b 4830 interpreters optional depqbf_5.01-3_arm64.buildinfo
 c5f5799bcebc5dc0873990c8e038c364 124676 interpreters optional depqbf_5.01-3_arm64.deb