» Ubuntu » Packages » resolute (26.04LTS) » Source » interpreters » depqbf

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Source Package: depqbf (5.01-3build1) [universe]

Links for depqbf

Ubuntu Resources:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Science Maintainers (Mail Archive)
Thomas Krennwallner

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Homepage [lonsing.github.io]

The following binary packages are built from this source package:

depqbf: solver for quantified boolean formulae

Other Packages Related to depqbf

build-depends

build-depends-indep

adep: debhelper (>= 11)

helper programs for debian/rules
adep: dpkg-dev (>= 1.16.1~)

Debian package development tools

Download depqbf

File	Size (in kB)	MD5 checksum
depqbf_5.01.orig.tar.gz	419.8 kB	577d2a77c592ec87660811dd61482abf
depqbf_5.01-3build1.debian.tar.xz	5.0 kB	2402587f46c5fbaffb9fc12d906e4d2f
depqbf_5.01-3build1.dsc	1.9 kB	02414214c2607dc2688c6762ebdcb32c

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/science-team/depqbf.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/science-team/depqbf