depqbf source package in Xenial

depqbf: solver for quantified boolean formulae
depqbf-dbgsym: debug symbols for package depqbf

Versions published


The package versions that were published when the distribution release was made.

depqbf information

Current version:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?

Releases in Ubuntu

Binary packages

Download files from current release (5.0-1)

File Size SHA-256 Checksum
depqbf_5.0-1.dsc 1.9 KiB 0eebe3ce2d070dfbb3964e98696becc1a003a602e2e19ae15a2a0c2179537e46
depqbf_5.0.orig.tar.gz 419.7 KiB 9a4c9a60246e1c00128ae687f201b6dd309ece1e7601a6aa042a6317206f5dc7
depqbf_5.0-1.debian.tar.xz 4.2 KiB 9789ebcc04c548342a1a6f650bc68234539b8bb8fc4bcdd481101f574e1497b5

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies