Publishing details

• Published on 2017-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

depqbf (5.01-1) unstable; urgency=medium

  * New upstream version 5.01
  * bump Standards-Version to 3.9.8, no changes needed
  * debian/control: fix Vcs-Browser link
  * debian/depqbf.lintian-overrides: add non-dev-pkg-with-shlib-symlink

 -- Thomas Krennwallner <email address hidden>  Sun, 27 Nov 2016 17:21:59 +0100

Builds

Built packages

• depqbf solver for quantified boolean formulae

• depqbf-dbgsym debug symbols for package depqbf

Package files

• depqbf-dbgsym_5.01-1_amd64.ddeb (280.8 KiB)
• depqbf-dbgsym_5.01-1_arm64.ddeb (281.8 KiB)
• depqbf-dbgsym_5.01-1_armhf.ddeb (276.7 KiB)
• depqbf-dbgsym_5.01-1_i386.ddeb (268.0 KiB)
• depqbf-dbgsym_5.01-1_powerpc.ddeb (268.5 KiB)
• depqbf-dbgsym_5.01-1_ppc64el.ddeb (310.8 KiB)
• depqbf-dbgsym_5.01-1_s390x.ddeb (252.1 KiB)
• depqbf_5.01-1.debian.tar.xz (4.4 KiB)
• depqbf_5.01-1.dsc (1.9 KiB)
• depqbf_5.01-1_amd64.deb (134.2 KiB)
• depqbf_5.01-1_arm64.deb (119.2 KiB)
• depqbf_5.01-1_armhf.deb (125.9 KiB)
• depqbf_5.01-1_i386.deb (154.2 KiB)
• depqbf_5.01-1_powerpc.deb (135.5 KiB)
• depqbf_5.01-1_ppc64el.deb (132.6 KiB)
• depqbf_5.01-1_s390x.deb (116.5 KiB)
• depqbf_5.01.orig.tar.gz (419.8 KiB)