picosat (965-2) unstable; urgency=medium

  * Use dpkg buildtools.mk supply cross tools via environment
    - Thank you, Helmut Grohne! (Closes: #978542)
  * Add myself to uploaders
  * Add "Rules-Requires-Root: no"
  * Propagate hardening options properly

 -- Nilesh Patra <npatra974@gmail.com>  Sun, 21 Feb 2021 12:17:23 +0530

picosat (965-1) unstable; urgency=medium

  * Team upload.
  * Move packaging to Debian Science team
  * debhelper-compat 12
  * Standards-Version: 4.4.0
  * Secure URI in copyright format
  * Remove old boilerplate from debian/rules
  * Trim trailing whitespace.
  * Set upstream metadata fields: Contact, Name.
  * d/rules: Use default flags
  * Split patch into logical pieces
  * Multiarch location for libraries
  * Fix symbols file
  * Hardening

 -- Andreas Tille <tille@debian.org>  Tue, 20 Aug 2019 10:44:08 +0200

picosat (960-1) unstable; urgency=low

  * New upstream version

 -- Michael Tautschnig <mt@debian.org>  Sat, 08 Nov 2014 18:15:16 +0000

picosat (959-1) unstable; urgency=low

  * New upstream version
  * Bumped standards version to 3.9.5 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Sat, 28 Jun 2014 17:37:26 +0100

picosat (954-1) unstable; urgency=low

  * New upstream version (closes: #696246)

 -- Michael Tautschnig <mt@debian.org>  Thu, 20 Dec 2012 20:13:50 +0000

picosat (953-2) unstable; urgency=low

  * Actually bump standards version to 3.9.4
  * Added symbol files

 -- Michael Tautschnig <mt@debian.org>  Sun, 02 Dec 2012 13:18:49 +0000

picosat (953-1) unstable; urgency=low

  * Bumped standards version to 3.9.4 (no changes)
  * New upstream version (closes: #694592)
  * Converted debian/copyright to DEP-5

 -- Michael Tautschnig <mt@debian.org>  Sun, 02 Dec 2012 11:32:09 +0000

picosat (936-4) unstable; urgency=low

  * Bumped standards version to 3.9.3 (no changes)
  * Really ship the picomus binary (closes: #635114)
  * Converted debian/copyright to DEP-5

 -- Michael Tautschnig <mt@debian.org>  Sat, 03 Mar 2012 22:55:43 +0000

picosat (936-3) unstable; urgency=low

  * Ship picomus binary for computing minimal unsatisfiying cores
    (closes: #635114)
  * Bumped standards version to 3.9.2 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Wed, 10 Aug 2011 01:03:57 +0200

picosat (936-2) unstable; urgency=low

  * Also build library with trace support as libpicosat-trace.so
    (closes: #607943).

 -- Michael Tautschnig <mt@debian.org>  Tue, 29 Mar 2011 14:24:29 +0200

picosat (936-1) unstable; urgency=low

  * New upstream release (updated Debian-specific patches)
  * Bumped standards version to 3.9.1 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Mon, 16 Aug 2010 15:04:10 +0200

picosat (913-4) unstable; urgency=low

  * Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of
    the necessary patch (closes: #576364).
  * Cleanup debian/rules and add support for building dynamic libraries.

 -- Michael Tautschnig <mt@debian.org>  Sun, 04 Apr 2010 00:36:27 +0200

picosat (913-2) unstable; urgency=low

  * Switch to dpkg-source 3.0 (quilt) format
  * Bumped standards version to 3.8.4 (no changes)
  * Build additional picosat.trace to have a solver with proof/core support
    available (closes: #567754)

 -- Michael Tautschnig <mt@debian.org>  Fri, 05 Feb 2010 12:50:29 +0100

picosat (913-1) unstable; urgency=low

  * New upstream release
  * Bumped standards version to 3.8.3 (no changes)
  * Extended long description

 -- Michael Tautschnig <mt@debian.org>  Mon, 02 Nov 2009 22:03:31 +0100

picosat (846-1) unstable; urgency=low

  * New upstream release
  * Added Homepage: to control
  * Added watch file
  * Updated man page to reflect new command line options

 -- Michael Tautschnig <mt@debian.org>  Wed, 01 Oct 2008 00:07:53 +0200

picosat (632-1) unstable; urgency=low

  * Initial release (Closes: #485117)

 -- Michael Tautschnig <mt@debian.org>  Sun,  8 Jun 2008 13:08:48 +0200
