creduce (2.11.0~20230819-1) unstable; urgency=medium . * New upstream snapshot, taken from master branch. * Build using LLVM 16. Closes: #1043127. * Build in a separate builddir. Closes: #1045055. * Bump standards version. creduce (2.10.0+20220116-1) unstable; urgency=medium . * New upstream snapshot, taken from the llvm-13 branch. creduce (2.10.0+20201029-3) unstable; urgency=medium . * Fix LLVM 9 build dependencies on armel, armhf. * Run the tests again, finally frama-c-base is available again. creduce (2.10.0+20201029-2) unstable; urgency=medium . * Build using LLVM 9 on armel, armhf. See #979495. * Bump debhelper and standards versions. * Fix man page (Michael R. Crusoe). Closes: #961004. creduce (2.10.0+20201029-1) unstable; urgency=medium . * New upstream snapshot, taken from the llvm-11 branch. * Bump debhelper version. creduce (2.10.0+20200116-1) unstable; urgency=medium . * New upstream snapshot. * Build using llvm-9. * Don't run the tests, frama-c-base removed in unstable. Closes: #945886. creduce (2.10.0-2) unstable; urgency=medium . * Bump standards version. creduce (2.10.0-1) experimental; urgency=medium . * C-Reduce 2.10.0 release. * Build using llvm-8. creduce (2.9.0-1) unstable; urgency=medium . * C-Reduce 2.9.0 release. * Link with libatomic when needed. creduce (2.9~20190428-1) experimental; urgency=medium . * Snapshot, taken from the llvm8 branch. creduce (2.9~20181211-1) unstable; urgency=medium . * Snapshot, taken from the llvm7 branch. creduce (2.9~20181016-1) unstable; urgency=medium . * Snapshot, taken from the llvm7 branch. creduce (2.8.0-1) unstable; urgency=medium . * C-Reduce 2.8.0 release. * Remove (build-) dependency on libsys-cpu-perl. creduce (2.8.0~20180422-1) unstable; urgency=medium . * New upstream snapshot. creduce (2.8.0~20180315-1) unstable; urgency=medium . * New upstream snapshot. * Update clang-format dependency to 6.0. creduce (2.8.0~20180311-1) unstable; urgency=medium . * New upstream snapshot. * Build using llvm-6.0. creduce (2.7.0-1) unstable; urgency=medium . * C-Reduce 2.7.0 release. creduce (2.7~20170317-1) unstable; urgency=medium . * Upstream snapshot, taken from master. * Build using llvm-4.0. creduce (2.6.0-1) unstable; urgency=medium . * C-Reduce 2.6.0 release. creduce (2.6~20160921-1) unstable; urgency=medium . * Upstream snapshot, taken from master. * Drop indent and astyle (build-)dependencies. * Build using llvm-3.9. creduce (2.5.0-1) unstable; urgency=medium . * C-Reduce 2.5.0 release. * Remove (build-)dependency on delta. creduce (2.5~20160312-1) unstable; urgency=medium . * Upstream snapshot, taken from master. creduce (2.4.0-12) experimental; urgency=medium . * Update to the llvm-svn-compatible branch. * Build using llvm-3.8. 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. 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). creduce (2.3.0-1) unstable; urgency=medium . * C-Reduce 2.3.0 release. * Build using llvm-3.6. creduce (2.2.1-1) unstable; urgency=medium . * C-Reduce 2.2.1 release. 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. creduce (2.2~pre3-2) unstable; urgency=medium . * Build-depend on libedit-dev and zlib1g-dev, missing dependencies of llvm-3.5-dev. 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. creduce (2.2~pre1-2) unstable; urgency=medium . * Build-depend on flex. creduce (2.2~pre1-1) unstable; urgency=medium . * New upstream snapshot (trunk 20140327). * Build using llvm-3.4. creduce (2.1.0-1) unstable; urgency=low . * New upstream version. creduce (2.0.1-3) unstable; urgency=low . * Fix a crash, taken from the trunk. creduce (2.0.1-2) experimental; urgency=low . * Fix a crash, taken from the trunk. creduce (2.0.1-1) experimental; urgency=low . * Initial release. Closes: #678645. * Add a build-using field, as long as clang doesn't provide a complete set of shared libraries. See #698247.