depqbf_0.1-1_i386.changes is NEW

[Debian FTP Masters]

(new) depqbf_0.1-1.debian.tar.gz extra interpreters
(new) depqbf_0.1-1.dsc extra interpreters
(new) depqbf_0.1-1_i386.deb extra interpreters
solver for quantified boolean formulae
 DepQBF is a search-based solver for quantified boolean formulae (QBF)
 in prenex conjunctive normal form. It is based on the DPLL algorithm
 for QBF with conflict-driven clause and solution-driven cube
 learning. By analyzing the structure of a formula, DepQBF tries to
 identify independent variables. In addition to other benefits, this
 often increases freedom for decision making.
(new) depqbf_0.1.orig.tar.gz extra interpreters
Changes: depqbf (0.1-1) unstable; urgency=low
 .
  * Initial release (Closes: #639363)


Override entries for your package:

Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 639363 


Your package contains new components which requires manual editing of
the override file.  It is ok otherwise, so please be patient.  New
packages are usually added to the override file about once a week.

You may have gotten the distribution wrong.  You'll get warnings above
if files already exist in other distributions.