creduce (2.2.1-1) unstable; urgency=medium * C-Reduce 2.2.1 release. -- Matthias Klose 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 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 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 Mon, 11 Aug 2014 14:04:49 +0200 creduce (2.2~pre2-1) unstable; urgency=medium * New upstream snapshot (trunk 20140811). -- Matthias Klose Mon, 11 Aug 2014 13:37:15 +0200 creduce (2.2~pre1-2) unstable; urgency=medium * Build-depend on flex. -- Matthias Klose 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 Thu, 27 Mar 2014 12:00:43 +0100 creduce (2.1.0-1) unstable; urgency=low * New upstream version. -- Matthias Klose 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 Fri, 05 Apr 2013 13:25:28 +0200 creduce (2.0.1-1) experimental; urgency=low * Initial release. Closes: #678645. -- Matthias Klose Tue, 15 Jan 2013 17:23:23 +0100