» Ubuntu » Packages » trusty (14.04LTS) » Source » interpreters » depqbf
precise  ] [  trusty  ] [  utopic  ] [  vivid  ]

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

Links for depqbf

Ubuntu Resources:

Maintainer:

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:
depqbf
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)
git://git.debian.org/debian-science/packages/depqbf.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=debian-science/packages/depqbf.git;a=summary