Publishing details

• Created on 2011-10-19 by Ubuntu Archive Auto-Sync
• Published on 2011-10-19

Changelog

depqbf (0.1-1) unstable; urgency=low

  * Initial release (Closes: #639363)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  19 Oct 2011 10:37:14 +0000

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Built packages

• depqbf solver for quantified boolean formulae

Package files

• depqbf_0.1-1.debian.tar.gz (3.2 KiB)
• depqbf_0.1-1.dsc (1.2 KiB)
• depqbf_0.1-1_amd64.deb (40.2 KiB)
• depqbf_0.1-1_armel.deb (32.7 KiB)
• depqbf_0.1-1_armhf.deb (32.7 KiB)
• depqbf_0.1-1_i386.deb (38.6 KiB)
• depqbf_0.1-1_powerpc.deb (37.0 KiB)
• depqbf_0.1.orig.tar.gz (77.5 KiB)