depqbf source package in Disco

depqbf: solver for quantified boolean formulae
depqbf-dbgsym: debug symbols for 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.01-3)

File Size SHA-256 Checksum
depqbf_5.01-3.dsc 1.9 KiB 68385090b652441871a36d0e3e188dedff99792ecad6dcc091ab901cd31c8c84
depqbf_5.01.orig.tar.gz 419.8 KiB ba2b93b3a83917f6084ab88d75b4848ce9354584fb36d70537fa7490e42921bc
depqbf_5.01-3.debian.tar.xz 4.9 KiB d0f637ef62429e968a01b4f6fcc8dd31ce1c7880dbdd4a173b24e73e2eac4466

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies