Format: 1.8
Date: Thu, 24 Apr 2014 07:27:13 +0200
Source: depqbf
Binary: depqbf
Architecture: powerpc
Version: 3.02-1
Distribution: utopic-proposed
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@sagari.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description: 
 depqbf     - solver for quantified boolean formulae
Changes: 
 depqbf (3.02-1) unstable; urgency=low
 .
   * New upstream release.
   * Add support for libqdpll.
   * debian/install: Install libqdpll.* and qdpll.h.
   * debian/docs: Add examples directory.
   * debian/links: Symlink libqdpll.so.1.0.
   * debian/patches/depqbf-makefile.patch: quilt refresh.
Checksums-Sha1: 
 c455cae690a19ce00ee7a15cfce31e762935d893 104384 depqbf_3.02-1_powerpc.deb
Checksums-Sha256: 
 b6f838ff7f22197388dfe77100c01d5296e702418645d8c595e700707243ae55 104384 depqbf_3.02-1_powerpc.deb
Files: 
 923f0d275661566f29cefd339384da2c 104384 interpreters extra depqbf_3.02-1_powerpc.deb