depqbf 3.02-1 source package in Ubuntu

Changelog

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.

 -- Thomas Krennwallner <email address hidden>  Thu, 24 Apr 2014 07:27:13 +0200

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
depqbf_3.02-1.dsc 1.9 KiB d7a0aef1e63b6fa97675602bd833d3ec43426959e6e15ab2596456c091b33cc8
depqbf_3.02.orig.tar.gz 157.3 KiB 914001554f059280d0b1d879b4de0ece5d39a1af610f7c44b6b5d05c49666e17
depqbf_3.02-1.debian.tar.xz 4.1 KiB 72bd9f0ccc173f458d288e3189cb54454f869a5a8988613df1f71bca0fe89aab

Available diffs

No changes file available.

Binary packages built by this source

depqbf: No summary available for depqbf in ubuntu utopic.

No description available for depqbf in ubuntu utopic.