creduce (2.11.0~20240312-1) unstable; urgency=medium * Build using LLVM 18. -- Matthias Klose Tue, 12 Mar 2024 16:27:13 +0100 creduce (2.11.0~20231125-2) unstable; urgency=medium * Build using LLVM 17.0.6. -- Matthias Klose Sun, 10 Dec 2023 19:31:30 +0100 creduce (2.11.0~20231125-1) unstable; urgency=medium * New upstream snapshot, taken from master branch. * Update home page. Closes: #1050849. * Update watch file. -- Matthias Klose Sat, 25 Nov 2023 09:27:49 +0100 creduce (2.11.0~20230819-2) unstable; urgency=medium * Build using LLVM 17. -- Matthias Klose Fri, 17 Nov 2023 08:18:35 +0100 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. -- Matthias Klose Sat, 19 Aug 2023 10:30:41 +0200 creduce (2.10.0+20220116-1) unstable; urgency=medium * New upstream snapshot, taken from the llvm-13 branch. -- Matthias Klose Mon, 05 Sep 2022 22:13:52 +0200 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. -- Matthias Klose Sat, 09 Jan 2021 15:59:48 +0100 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. -- Matthias Klose Fri, 08 Jan 2021 14:22:00 +0100 creduce (2.10.0+20201029-1) unstable; urgency=medium * New upstream snapshot, taken from the llvm-11 branch. * Bump debhelper version. -- Matthias Klose Thu, 29 Oct 2020 19:36:55 +0100 creduce (2.10.0+20200325-1) unstable; urgency=medium * -- Matthias Klose Wed, 25 Mar 2020 18:24:54 +0100 creduce (2.10.0+20200116-2) unstable; urgency=medium * Build using llvm-10. * Bump standards version . -- Matthias Klose Mon, 09 Mar 2020 12:09:18 +0100 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. -- Matthias Klose Thu, 16 Jan 2020 12:24:59 +0100 creduce (2.10.0-2) unstable; urgency=medium * Bump standards version. -- Matthias Klose Sat, 17 Aug 2019 14:15:57 +0200 creduce (2.10.0-1) experimental; urgency=medium * C-Reduce 2.10.0 release. * Build using llvm-8. -- Matthias Klose Mon, 27 May 2019 20:53:41 +0200 creduce (2.9.0-1) unstable; urgency=medium * C-Reduce 2.9.0 release. * Link with libatomic when needed. -- Matthias Klose Wed, 08 May 2019 18:11:11 +0200 creduce (2.9~20190428-1) experimental; urgency=medium * Snapshot, taken from the llvm8 branch. -- Matthias Klose Sun, 28 Apr 2019 10:19:53 +0200 creduce (2.9~20181211-1) unstable; urgency=medium * Snapshot, taken from the llvm7 branch. -- Matthias Klose Tue, 11 Dec 2018 12:24:25 +0100 creduce (2.9~20181016-1) unstable; urgency=medium * Snapshot, taken from the llvm7 branch. -- Matthias Klose Tue, 16 Oct 2018 10:08:37 +0200 creduce (2.8.0-1) unstable; urgency=medium * C-Reduce 2.8.0 release. * Remove (build-) dependency on libsys-cpu-perl. -- Matthias Klose Wed, 11 Jul 2018 14:41:21 +0200 creduce (2.8.0~20180422-1) unstable; urgency=medium * New upstream snapshot. -- Matthias Klose Sun, 22 Apr 2018 09:45:30 +0200 creduce (2.8.0~20180315-1) unstable; urgency=medium * New upstream snapshot. * Update clang-format dependency to 6.0. -- Matthias Klose Thu, 22 Mar 2018 11:20:21 +0800 creduce (2.8.0~20180311-1) unstable; urgency=medium * New upstream snapshot. * Build using llvm-6.0. -- Matthias Klose Mon, 12 Mar 2018 09:17:25 +0100 creduce (2.7.0-1) unstable; urgency=medium * C-Reduce 2.7.0 release. -- Matthias Klose Sun, 21 May 2017 14:12:57 -0700 creduce (2.7~20170317-1) unstable; urgency=medium * Upstream snapshot, taken from master. * Build using llvm-4.0. -- Matthias Klose Fri, 17 Mar 2017 11:49:02 +0100 creduce (2.6.0-1) unstable; urgency=medium * C-Reduce 2.6.0 release. -- Matthias Klose Sun, 08 Jan 2017 22:55:38 +0100 creduce (2.6~20160921-1) unstable; urgency=medium * Upstream snapshot, taken from master. * Drop indent and astyle (build-)dependencies. * Build using llvm-3.9. -- Matthias Klose Wed, 21 Sep 2016 15:08:51 +0200 creduce (2.5.0-1) unstable; urgency=medium * C-Reduce 2.5.0 release. * Remove (build-)dependency on delta. -- Matthias Klose Tue, 24 May 2016 08:51:47 +0200 creduce (2.5~20160420-0ubuntu1) xenial; urgency=medium * Upstream snapshot, taken from master. -- Matthias Klose Wed, 20 Apr 2016 13:57:19 +0200 creduce (2.5~20160312-1) unstable; urgency=medium * Upstream snapshot, taken from master. -- Matthias Klose 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 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 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 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 Sat, 08 Aug 2015 13:22:58 +0200 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