depqbf_5.01-1_amd64.deb


Advertisement

Description

depqbf - solver for quantified boolean formulae

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: depqbf
Package version: 5.01
Package release: 1
Package architecture: amd64
Package type: deb
Installed size: 680 B
Download size: 135.01 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

Requires

    Download

    Binary package: depqbf_5.01-1_amd64.deb
    Source package: depqbf

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install depqbf deb package:
      # sudo apt-get install depqbf

    Changelog

    2016-11-27 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (5.01-1) unstable; urgency=medium * New upstream version 5.01 * bump Standards-Version to 3.9.8, no changes needed * debian/control: fix Vcs-Browser link * debian/depqbf.lintian-overrides: add non-dev-pkg-with-shlib-symlink

    2015-12-22 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (5.0-1) unstable; urgency=medium * Imported Upstream version 5.0 * refresh depqbf-makefile.patch * depqbf.lintian-overrides: add override for no-shlibs-control-file for internal libqdpll.so.1.0

    2014-10-04 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (3.04-1) unstable; urgency=medium * Initial upstream branch. * Imported Upstream version 3.02 and 3.04. * debian/control: - Bump Standards-Version to 3.9.6. - Fix Vcs fields to use anonscm.debian.org. * debian/watch: Use github archive instead of deprecated githubredir.debian.net.

    2014-04-24 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> 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.

    2014-04-20 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (3.01-1) unstable; urgency=low * New upstream release.

    2014-02-20 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (3.0-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.5. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/copyright: Fix years.

    2013-09-19 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (2.0-1) unstable; urgency=low * New upstream release. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/compat: Bump version. * debian/control: Bump Standards-Version, Build-Depends. * debian/copyright: Update year. * debian/docs: Add NEWS.

    2012-08-12 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (1.0-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version and update Homepage and Description, Build-Depends on dpkg-dev. * debian/copyright: Update Format, Upstream-Contact, Source, and Copyright. * debian/watch: Scan github for version tags. * debian/patches/depqbf-makefile.patch: Add hardening support. * debian/rules: Enable dpkg-buildflags.

    2011-09-26 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (0.1-2) unstable; urgency=low * debian/copyright: Fix unversioned-copyright-format-uri lintian warning.

    2011-08-26 - Thomas Krennwallner <tkren@kr.tuwien.ac.at> depqbf (0.1-1) unstable; urgency=low * Initial release (Closes: #639363)

    Advertisement
    Advertisement