všetky možnosti
wheezy  ] [  jessie  ] [  sid  ]

Zdrojový balík: depqbf (0.1-1)

Odkazy pre depqbf

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
depqbf
solver for quantified boolean formulae

Ostatné balíky súvisiace s balíkom depqbf

  • build-depends
  • build-depends-indep

Download depqbf

SúborVeľkosť (v kB)kontrolný súčet MD5
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
Úložisko zdrojových balíkov Debianu (VCS: Git)
git://git.debian.org/debian-science/packages/depqbf.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
http://git.debian.org/?p=debian-science/packages/depqbf.git;a=summary