Format: 1.8
Date: Thu, 24 Apr 2014 07:27:13 +0200
Source: depqbf
Binary: depqbf
Architecture: arm64
Version: 3.02-1
Distribution: utopic-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.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: 
 bf054c40da44cbb72b2571c68b6bcd74a9a0310f 89120 depqbf_3.02-1_arm64.deb
Checksums-Sha256: 
 99abe768966e10742461b6c5c534558285187e82ef59b7c51702430baa61daa8 89120 depqbf_3.02-1_arm64.deb
Files: 
 f042f528f060e0d680bc894560f61abc 89120 interpreters extra depqbf_3.02-1_arm64.deb