Tarkennettu haku
wheezy  ] [  jessie  ] [  sid  ]

Source Package: depqbf (0.1-1)

Links for depqbf

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
depqbf
solver for quantified boolean formulae

Muut pakettiin depqbf liittyvät paketit

  • build-depends
  • build-depends-indep

Download depqbf

TiedostoKoko (kt)MD5-tarkiste
depqbf_0.1-1.dsc 1.2 kt b447c76be1b9d04cb7d5c7611570ed93
depqbf_0.1.orig.tar.gz 77.5 kt c88199216f50052ab4dcb8a4ce0a9dca
depqbf_0.1-1.debian.tar.gz 3.2 kt 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