» Ubuntu » Packages » saucy (13.10) » Source » interpreters » depqbf
precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

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

Download depqbf

FileSize (in kB)MD5 checksum
depqbf_1.0-1.dsc 1.9 kB c6c641390c3af0ee77cada5083fa08bc
depqbf_1.0.orig.tar.gz 111.3 kB 4b74543587118aae01c72c2962ac55c7
depqbf_1.0-1.debian.tar.gz 3.8 kB d0a5396f6bc01f8082e713668b63bfd6
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)