Ubuntu
creduce package

Change log for creduce package in Ubuntu

1 → 49 of 49 results First • Previous • Next • Last
Published in oracular-release
Published in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
creduce (2.11.0~20240312-1build1) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 16:41:59 +1100
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
creduce (2.11.0~20240312-1) unstable; urgency=medium

  * Build using LLVM 18.

 -- Matthias Klose <email address hidden>  Tue, 12 Mar 2024 16:27:13 +0100
Superseded in noble-proposed 
creduce (2.11.0~20231125-2build1) noble; urgency=medium

  * No-change rebuild against libllvm17t64

 -- Steve Langasek <email address hidden>  Tue, 12 Mar 2024 07:08:28 +0000
Deleted in noble-updates (Reason: superseded by release)
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
creduce (2.11.0~20231125-2) unstable; urgency=medium

  * Build using LLVM 17.0.6.

 -- Matthias Klose <email address hidden>  Sun, 10 Dec 2023 19:31:30 +0100
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
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 <email address hidden>  Sat, 25 Nov 2023 09:27:49 +0100
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
creduce (2.11.0~20230819-2) unstable; urgency=medium

  * Build using LLVM 17.

 -- Matthias Klose <email address hidden>  Fri, 17 Nov 2023 08:18:35 +0100
Superseded in noble-release
Published in mantic-release
Deleted in mantic-proposed (Reason: Moved to mantic) 
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 <email address hidden>  Sat, 19 Aug 2023 10:30:41 +0200
Superseded in mantic-release
Published in lunar-release
Obsolete in kinetic-release
Deleted in kinetic-proposed (Reason: Moved to kinetic) 
creduce (2.10.0+20220116-1) unstable; urgency=medium

  * New upstream snapshot, taken from the llvm-13 branch.

 -- Matthias Klose <email address hidden>  Mon, 05 Sep 2022 22:13:52 +0200
Superseded in kinetic-release
Published in jammy-release
Obsolete in impish-release
Obsolete in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
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 <email address hidden>  Sat, 09 Jan 2021 15:59:48 +0100
Superseded in hirsute-proposed 
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 <email address hidden>  Fri, 08 Jan 2021 14:22:00 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
creduce (2.10.0+20201029-1) unstable; urgency=medium

  * New upstream snapshot, taken from the llvm-11 branch.
  * Bump debhelper version.

 -- Matthias Klose <email address hidden>  Thu, 29 Oct 2020 19:36:55 +0100
Superseded in hirsute-release
Obsolete in groovy-release
Deleted in groovy-proposed (Reason: moved to Release) 
creduce (2.10.0+20200116-1ubuntu2) groovy; urgency=medium

  * No-change rebuild.

 -- Matthias Klose <email address hidden>  Thu, 18 Jun 2020 13:56:42 +0200
Superseded in groovy-release
Published in focal-release
Deleted in focal-proposed (Reason: moved to Release) 
creduce (2.10.0+20200116-1ubuntu1) focal; urgency=medium

  * Build-depend on frama-c-base.

 -- Matthias Klose <email address hidden>  Thu, 16 Jan 2020 12:53:04 +0100
Superseded in focal-release
Obsolete in eoan-release
Deleted in eoan-proposed (Reason: moved to release) 
creduce (2.10.0-2) unstable; urgency=medium

  * Bump standards version.

 -- Matthias Klose <email address hidden>  Sat, 17 Aug 2019 14:15:57 +0200

Available diffs

Published in bionic-updates
Deleted in bionic-proposed (Reason: moved to -updates) 
creduce (2.10.0-1~18.04) bionic-proposed; urgency=medium

  * SRU: LP: #1834654. Backport 2.10.0 to the 18.04 LTS release.

 -- Matthias Klose <email address hidden>  Fri, 28 Jun 2019 16:46:26 +0200
Obsolete in disco-updates
Deleted in disco-proposed (Reason: moved to -updates) 
creduce (2.10.0-1~19.04) disco-proposed; urgency=medium

  * SRU: LP: #1834654. Backport 2.10.0 to the 19.04 release.

 -- Matthias Klose <email address hidden>  Fri, 28 Jun 2019 16:46:26 +0200
Superseded in eoan-release
Deleted in eoan-proposed (Reason: moved to release) 
creduce (2.10.0-1) experimental; urgency=medium

  * C-Reduce 2.10.0 release.
  * Build using llvm-8.

 -- Matthias Klose <email address hidden>  Mon, 27 May 2019 20:53:41 +0200

Available diffs

Superseded in eoan-release
Deleted in eoan-proposed (Reason: moved to release) 
creduce (2.9.0-1) unstable; urgency=medium

  * C-Reduce 2.9.0 release.
  * Link with libatomic when needed.

 -- Matthias Klose <email address hidden>  Wed, 08 May 2019 18:11:11 +0200

Available diffs

Superseded in eoan-release
Deleted in eoan-proposed (Reason: moved to release) 
creduce (2.9~20190428-1) experimental; urgency=medium

  * Snapshot, taken from the llvm8 branch.

 -- Matthias Klose <email address hidden>  Sun, 28 Apr 2019 10:19:53 +0200
Superseded in eoan-release
Obsolete in disco-release
Deleted in disco-proposed (Reason: moved to release) 
creduce (2.9~20190320-0ubuntu1) disco; urgency=medium

  * Snapshot, taken from the trunk.

 -- Matthias Klose <email address hidden>  Wed, 20 Mar 2019 15:01:21 +0100
Superseded in disco-release
Deleted in disco-proposed (Reason: moved to release) 
creduce (2.9~20181211-1) unstable; urgency=medium

  * Snapshot, taken from the llvm7 branch.

 -- Matthias Klose <email address hidden>  Tue, 11 Dec 2018 12:24:25 +0100
Superseded in disco-release
Obsolete in cosmic-release
Deleted in cosmic-proposed (Reason: moved to release) 
creduce (2.9~20181016-1) unstable; urgency=medium

  * Snapshot, taken from the llvm7 branch.

 -- Matthias Klose <email address hidden>  Tue, 16 Oct 2018 10:08:37 +0200
Superseded in cosmic-release
Deleted in cosmic-proposed (Reason: moved to release) 
creduce (2.8.0-1) unstable; urgency=medium

  * C-Reduce 2.8.0 release.
  * Remove (build-) dependency on libsys-cpu-perl.

 -- Matthias Klose <email address hidden>  Wed, 11 Jul 2018 14:41:21 +0200

Available diffs

Superseded in cosmic-release
Published in bionic-release
Deleted in bionic-proposed (Reason: moved to release) 
creduce (2.8.0~20180422-1) unstable; urgency=medium

  * New upstream snapshot.

 -- Matthias Klose <email address hidden>  Sun, 22 Apr 2018 09:45:30 +0200
Superseded in bionic-release
Deleted in bionic-proposed (Reason: moved to release) 
creduce (2.8.0~20180315-1) unstable; urgency=medium

  * New upstream snapshot.
  * Update clang-format dependency to 6.0.

 -- Matthias Klose <email address hidden>  Thu, 22 Mar 2018 11:20:21 +0800
Superseded in bionic-release
Deleted in bionic-proposed (Reason: moved to release) 
creduce (2.8.0~20180311-1) unstable; urgency=medium

  * New upstream snapshot.
  * Build using llvm-6.0.

 -- Matthias Klose <email address hidden>  Mon, 12 Mar 2018 09:17:25 +0100

Available diffs

Superseded in bionic-release
Obsolete in artful-release
Deleted in artful-proposed (Reason: moved to release) 
creduce (2.7.0-1) unstable; urgency=medium

  * C-Reduce 2.7.0 release.

 -- Matthias Klose <email address hidden>  Sun, 21 May 2017 14:12:57 -0700
Superseded in artful-release
Deleted in artful-proposed (Reason: moved to release) 
creduce (2.7~20170317-1build1) artful; urgency=medium

  * Rebuild against new llvm versioned symbols.

 -- Gianfranco Costamagna <email address hidden>  Mon, 01 May 2017 22:38:35 +0200
Superseded in artful-release
Deleted in artful-proposed (Reason: moved to release) 
creduce (2.7~20170317-1) unstable; urgency=medium

  * Upstream snapshot, taken from master.
  * Build using llvm-4.0.

 -- Matthias Klose <email address hidden>  Fri, 17 Mar 2017 11:49:02 +0100

Available diffs

Superseded in artful-release
Obsolete in zesty-release
Deleted in zesty-proposed (Reason: moved to release) 
creduce (2.6.0-1) unstable; urgency=medium

  * C-Reduce 2.6.0 release.

 -- Matthias Klose <email address hidden>  Sun, 08 Jan 2017 22:55:38 +0100

Available diffs

Superseded in zesty-release
Obsolete in yakkety-release
Deleted in yakkety-proposed (Reason: moved to 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.

 -- Matthias Klose <email address hidden>  Wed, 21 Sep 2016 15:08:51 +0200

Available diffs

Published in xenial-updates
Deleted in xenial-proposed (Reason: moved to -updates) 
creduce (2.5.0-0ubuntu1) xenial-proposed; urgency=medium

  * SRU LP: #1585156, backport to 16.04 LTS.
Superseded in yakkety-release
Deleted in yakkety-proposed (Reason: moved to release) 
creduce (2.5.0-1) unstable; urgency=medium

  * C-Reduce 2.5.0 release.
  * Remove (build-)dependency on delta.

 -- Matthias Klose <email address hidden>  Tue, 24 May 2016 08:51:47 +0200
Superseded in yakkety-release
Published in xenial-release
Deleted in xenial-proposed (Reason: moved to release) 
creduce (2.5~20160420-0ubuntu1) xenial; urgency=medium

  * Upstream snapshot, taken from master.

 -- Matthias Klose <email address hidden>  Wed, 20 Apr 2016 13:57:19 +0200
Superseded in xenial-release
Deleted in xenial-proposed (Reason: moved to release) 
creduce (2.5~20160312-1) unstable; urgency=medium

  * Upstream snapshot, taken from master.

 -- Matthias Klose <email address hidden>  Sat, 12 Mar 2016 11:06:08 +0100

Available diffs

Superseded in xenial-release
Deleted in xenial-proposed (Reason: moved to release) 
creduce (2.4.0-12) experimental; urgency=medium

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

 -- Matthias Klose <email address hidden>  Wed, 03 Feb 2016 13:56:20 +0100

Available diffs

Superseded in xenial-release
Deleted in xenial-proposed (Reason: moved to release) 
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 <email address hidden>  Sat, 05 Dec 2015 07:39:22 +0100

Available diffs

Superseded in xenial-release
Obsolete in wily-release
Deleted in wily-proposed (Reason: moved to release) 
creduce (2.3.0-1) unstable; urgency=medium

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

 -- Matthias Klose <email address hidden>  Tue, 18 Aug 2015 10:39:43 +0200
Superseded in wily-release
Deleted in wily-proposed (Reason: moved to release) 
creduce (2.3.0-0ubuntu1) wily; urgency=medium

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

 -- Matthias Klose <email address hidden>  Sat, 08 Aug 2015 13:22:58 +0200
Published in trusty-updates
Deleted in trusty-proposed (Reason: moved to -updates) 
creduce (2.2.1-1~14.04) trusty-proposed; urgency=medium

  * Build for trusty, using llvm-3.5 on all architectures. LP: #1426725.
Superseded in wily-release
Obsolete in vivid-release
Obsolete in utopic-release
Deleted in utopic-proposed (Reason: moved to release) 
creduce (2.2.1-1) unstable; urgency=medium


  * C-Reduce 2.2.1 release.

 -- Matthias Klose <email address hidden>  Fri, 10 Oct 2014 09:51:25 +0200

Available diffs

Superseded in utopic-release
Deleted in utopic-proposed (Reason: moved to 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.

 -- Matthias Klose <email address hidden>  Tue, 12 Aug 2014 14:46:13 +0200
Superseded in utopic-proposed 
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 <email address hidden>  Mon, 11 Aug 2014 18:56:34 +0200
Superseded in utopic-release
Published in trusty-release
Deleted in trusty-proposed (Reason: moved to release) 
creduce (2.2~pre1-2) unstable; urgency=medium


  * Build-depend on flex.

 -- Matthias Klose <email address hidden>  Thu, 27 Mar 2014 14:01:12 +0100
Superseded in trusty-proposed 
creduce (2.2~pre1-1) unstable; urgency=medium


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

 -- Matthias Klose <email address hidden>  Thu, 27 Mar 2014 12:00:43 +0100

Available diffs

Superseded in trusty-release
Deleted in trusty-proposed (Reason: moved to release) 
creduce (2.1.0-1) unstable; urgency=low


  * New upstream version.

 -- Matthias Klose <email address hidden>  Fri, 01 Nov 2013 23:16:35 +0200

Available diffs

Superseded in trusty-release
Obsolete in saucy-release
Deleted in saucy-proposed (Reason: moved to release) 
creduce (2.0.1-3) unstable; urgency=low


  * Fix a crash, taken from the trunk.

 -- Matthias Klose <email address hidden>  Fri, 05 Apr 2013 13:25:28 +0200

Available diffs

Superseded in saucy-release
Obsolete in raring-release
Deleted in raring-proposed (Reason: moved to release) 
creduce (2.0.1-2) experimental; urgency=low

  * Fix a crash, taken from the trunk.
 -- Matthias Klose <email address hidden>   Fri, 05 Apr 2013 13:25:28 +0200

Available diffs

Superseded in raring-release
Deleted in raring-proposed (Reason: moved to release) 
creduce (2.0.1-1) experimental; urgency=low

  * Initial release. Closes: #678645.
 -- Matthias Klose <email address hidden>   Tue, 15 Jan 2013 17:23:23 +0100
1 → 49 of 49 results First • Previous • Next • Last