» Ubuntu » Packages » trusty (14.04LTS) » Source » interpreters » depqbf
trusty  ] [  xenial  ] [  zesty  ] [  artful  ] [  bionic  ]

Source Package: depqbf (2.0-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 (>= 9)
    helper programs for debian/rules
  • adep: dpkg-dev (>= 1.16.1~)
    Debian package development tools

Download depqbf

FileSize (in kB)MD5 checksum
depqbf_2.0-1.dsc 1.9 kB 44ea83d9327b919632fbafe81e57a078
depqbf_2.0.orig.tar.gz 124.6 kB 5d9d689d8d88317fcfe903c956dc8ee7
depqbf_2.0-1.debian.tar.gz 3.9 kB c9bcb3fcf939e42999355403b96aff34
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)