» Ubuntu » Packages » precise (12.04LTS) » Source » interpreters » depqbf
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ] [  zesty  ]

Source Package: depqbf (0.1-1) [universe]

Links for depqbf

Ubuntu Resources:


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

Original Maintainers (usually from Debian):

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

External Resources:

The following binary packages are built from this source package:
solver for quantified boolean formulae

Other Packages Related to depqbf

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 8.0.0)
    helper programs for debian/rules

Download depqbf

FileSize (in kB)MD5 checksum
depqbf_0.1-1.dsc 1.2 kB b447c76be1b9d04cb7d5c7611570ed93
depqbf_0.1.orig.tar.gz 77.5 kB c88199216f50052ab4dcb8a4ce0a9dca
depqbf_0.1-1.debian.tar.gz 3.2 kB aca3ade9cc6621ad22072ad4ba87203b
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)