binary_package_name: null
trusted_certs: null
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
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| relates-to | Package upload | depqbf_5.01-3 |
|