all options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

Source Package: depqbf (0.1-1)

Links for depqbf

Debian Resources:

Maintainers:

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

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)
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