changes_fields:
Architecture: arm64
Binary: depqbf depqbf-dbgsym
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changes: |2-
depqbf (5.01-3) unstable; urgency=medium
.
* debian/tests: add dep8 testsuite
Checksums-Sha1:
- name: depqbf-dbgsym_5.01-3_arm64.deb
sha1: 7c7792f8c5a78df636d7727b1a8087db3a909d64
size: '543148'
- name: depqbf_5.01-3_arm64.buildinfo
sha1: 006d3c2d5269f11a44d0be1f5262be1a4635cd10
size: '4830'
- name: depqbf_5.01-3_arm64.deb
sha1: 4f90eb8ba9a7bdf243d398d7e749c2df1220aa80
size: '124676'
Checksums-Sha256:
- name: depqbf-dbgsym_5.01-3_arm64.deb
sha256: f01b16d148930429a86c75ce0dbc2d51561465a47cc809ca9077217b795a7877
size: '543148'
- name: depqbf_5.01-3_arm64.buildinfo
sha256: 115ed6fc9de3a3ae949d3954f91a2e3156099e32f7e8c09710e9935bff48d0d8
size: '4830'
- name: depqbf_5.01-3_arm64.deb
sha256: 5ca104fc2de2e864a4b803dfd8b65c17ad6de2a194cdf9721678e5a934fdd175
size: '124676'
Date: Sat, 05 May 2018 12:58:06 +0200
Description: |2-
depqbf - solver for quantified boolean formulae
Distribution: sid
Files:
- md5sum: 60384a1b7a237475c4d9fc32ed67e7e6
name: depqbf-dbgsym_5.01-3_arm64.deb
priority: optional
section: debug
size: '543148'
- md5sum: 64f9b18c2d1a92fb558ce69c54fdd09b
name: depqbf_5.01-3_arm64.buildinfo
priority: optional
section: interpreters
size: '4830'
- md5sum: c5f5799bcebc5dc0873990c8e038c364
name: depqbf_5.01-3_arm64.deb
priority: optional
section: interpreters
size: '124676'
Format: '1.8'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Source: depqbf
Urgency: medium
Version: 5.01-3
type: dpkg