creduce (2.5~20160420-0ubuntu1) xenial; urgency=medium

  * Upstream snapshot, taken from master.

 -- Matthias Klose <doko@ubuntu.com>  Wed, 20 Apr 2016 13:57:19 +0200

creduce (2.5~20160312-1) unstable; urgency=medium

  * Upstream snapshot, taken from master.

 -- Matthias Klose <doko@debian.org>  Sat, 12 Mar 2016 11:06:08 +0100

creduce (2.4.0-12) experimental; urgency=medium

  * Update to the llvm-svn-compatible branch.
  * Build using llvm-3.8.

 -- Matthias Klose <doko@debian.org>  Wed, 03 Feb 2016 13:56:20 +0100

creduce (2.4.0-11) experimental; urgency=medium

  * C-Reduce 2.4.0 release.
  * Update to the llvm-svn-compatible branch.
  * Build using llvm-3.8.
  * (Build-)depend on libterm-readkey-perl.

 -- Matthias Klose <doko@debian.org>  Sat, 05 Dec 2015 02:07:34 +0100

creduce (2.4.0-1) unstable; urgency=medium

  * C-Reduce 2.4.0 release.
  * Build using llvm-3.7.
  * (Build-)depend on libterm-readkey-perl.
  * Prepare to build using llvm-3.8 (from the llvm-svn-compatible branch).

 -- Matthias Klose <doko@debian.org>  Sat, 05 Dec 2015 07:39:22 +0100

creduce (2.3.0-1) unstable; urgency=medium

  * C-Reduce 2.3.0 release.
  * Build using llvm-3.6.

 -- Matthias Klose <doko@debian.org>  Sat, 08 Aug 2015 13:22:58 +0200

creduce (2.2.1-1) unstable; urgency=medium

  * C-Reduce 2.2.1 release.

 -- Matthias Klose <doko@debian.org>  Fri, 10 Oct 2014 09:51:25 +0200

creduce (2.2~pre3-3) unstable; urgency=medium

  * Bump dependency on clang-format-3.x.
  * Drop the unversioned build dependency on clang, and allow the
    tests to use a versioned clang-x.y binary.
  * Build-depend on frama-c-base.

 -- Matthias Klose <doko@debian.org>  Tue, 12 Aug 2014 14:46:13 +0200

creduce (2.2~pre3-2) unstable; urgency=medium

  * Build-depend on libedit-dev and zlib1g-dev, missing dependencies
    of llvm-3.5-dev.

 -- Matthias Klose <doko@debian.org>  Mon, 11 Aug 2014 18:56:34 +0200

creduce (2.2~pre3-1) unstable; urgency=medium

  * New upstream snapshot (llvm-svn-compatible 20140811).
  * Build using llvm-3.5-dev and libclang-3.5-dev.

 -- Matthias Klose <doko@debian.org>  Mon, 11 Aug 2014 14:04:49 +0200

creduce (2.2~pre2-1) unstable; urgency=medium

  * New upstream snapshot (trunk 20140811).

 -- Matthias Klose <doko@debian.org>  Mon, 11 Aug 2014 13:37:15 +0200

creduce (2.2~pre1-2) unstable; urgency=medium

  * Build-depend on flex.

 -- Matthias Klose <doko@debian.org>  Thu, 27 Mar 2014 14:01:12 +0100

creduce (2.2~pre1-1) unstable; urgency=medium

  * New upstream snapshot (trunk 20140327).
  * Build using llvm-3.4.

 -- Matthias Klose <doko@debian.org>  Thu, 27 Mar 2014 12:00:43 +0100

creduce (2.1.0-1) unstable; urgency=low

  * New upstream version.

 -- Matthias Klose <doko@debian.org>  Fri, 01 Nov 2013 23:16:35 +0200

creduce (2.0.1-3) unstable; urgency=low

  * Fix a crash, taken from the trunk.

 -- Matthias Klose <doko@debian.org>  Fri, 05 Apr 2013 13:25:28 +0200

creduce (2.0.1-1) experimental; urgency=low

  * Initial release. Closes: #678645.

 -- Matthias Klose <doko@debian.org>  Tue, 15 Jan 2013 17:23:23 +0100
