Change log for cvc4 package in Ubuntu
1 → 11 of 11 results | First • Previous • Next • Last |
cvc4 (1.8-3build2) noble; urgency=medium * No-change rebuild for CVE-2024-3094 -- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:58:28 +0000
Available diffs
- diff from 1.8-3build1 to 1.8-3build2 (489 bytes)
cvc4 (1.8-3build1) noble; urgency=medium * No-change rebuild for readline time64 change. -- Matthias Klose <email address hidden> Thu, 14 Mar 2024 02:53:15 +0100
Available diffs
- diff from 1.8-3 (in Debian) to 1.8-3build1 (295 bytes)
Deleted in noble-updates (Reason: superseded by release) |
Superseded in noble-release |
Published in mantic-release |
Published in lunar-release |
Deleted in lunar-proposed (Reason: Moved to lunar) |
cvc4 (1.8-3) unstable; urgency=medium * Team upload. * Fix FTBFS with bash 5.2 (Closes: #1020010) * Fix FTBFS due to cryptominisat API changes by disabling cryptominisat -- Scott Talbert <email address hidden> Sat, 29 Oct 2022 14:49:40 -0400
Available diffs
- diff from 1.8-2 to 1.8-3 (1.2 KiB)
Superseded in lunar-release |
Obsolete in kinetic-release |
Published in jammy-release |
Obsolete in impish-release |
Obsolete in hirsute-release |
Obsolete in groovy-release |
Deleted in groovy-proposed (Reason: moved to Release) |
cvc4 (1.8-2) unstable; urgency=medium * Source-only reupload after the package has been through NEW. * Add patch 06-disable-tests.patch to disable several failing test cases that prevent the package from building on all release architectures it has previously been built on (see #970511). -- Fabian Wolff <email address hidden> Thu, 17 Sep 2020 18:29:09 +0200
Available diffs
- diff from 1.6-2build2 (in Ubuntu) to 1.8-2 (10.1 MiB)
Superseded in groovy-release |
Published in focal-release |
Deleted in focal-proposed (Reason: moved to Release) |
cvc4 (1.6-2build2) focal; urgency=medium * No change rebuild against new boost1.71 ABI -- Dimitri John Ledkov <email address hidden> Mon, 03 Feb 2020 20:12:28 +0000
Available diffs
- diff from 1.6-2build1 to 1.6-2build2 (513 bytes)
Superseded in focal-release |
Obsolete in eoan-release |
Obsolete in disco-release |
Deleted in disco-proposed (Reason: moved to release) |
cvc4 (1.6-2build1) disco; urgency=medium * No-change rebuild for readline soname change. -- Matthias Klose <email address hidden> Mon, 14 Jan 2019 20:09:05 +0000
Available diffs
- diff from 1.5-1buil1build1 to 1.6-2build1 (4.1 MiB)
- diff from 1.6-2 (in Debian) to 1.6-2build1 (304 bytes)
cvc4 (1.6-2) unstable; urgency=medium * Add python3 to Build-Depends. * Update Maintainer email address. -- Fabian Wolff <email address hidden> Sun, 12 Aug 2018 15:00:46 +0200
Available diffs
- diff from 1.6-1 to 1.6-2 (568 bytes)
cvc4 (1.6-1) unstable; urgency=medium * New upstream release. * Update Vcs-Git and Vcs-Browser fields in debian/control. * Restrict build architectures to those architectures where cvc4 has previously built successfully since upstream has been unresponsive with regard to fixing those build failures (Closes: #880146, #880147). * Refresh patches. * Remove 02-include-paths.patch (fixed upstream). * Install NEWS file. * Install some examples with the -dev package. * Upgrade to debhelper compat level 11. * Upgrade to Standards-Version 4.2.0 in debian/control (no changes). * Update debian/copyright. * Adjust package names to match new SONAMEs. * Add patch 04-fix-spelling.patch to fix several spelling errors. * Mark libcvc4-5 and libcvc4parser5 as Multi-Arch: same. -- Fabian Wolff <email address hidden> Sun, 07 Jan 2018 16:19:48 +0100
Available diffs
Superseded in disco-release |
Obsolete in cosmic-release |
Deleted in cosmic-proposed (Reason: moved to release) |
cvc4 (1.5-1buil1build1) cosmic; urgency=medium * No-change rebuild for boost soname change. -- Matthias Klose <email address hidden> Tue, 17 Jul 2018 12:54:48 +0000
Available diffs
- diff from 1.5-1buil1 to 1.5-1buil1build1 (294 bytes)
cvc4 (1.5-1buil1) cosmic; urgency=medium * No-change rebuild for libantlr3c soname change. -- Matthias Klose <email address hidden> Tue, 26 Jun 2018 10:24:23 +0200
Available diffs
- diff from 1.5-1 (in Debian) to 1.5-1buil1 (315 bytes)
Superseded in cosmic-release |
Published in bionic-release |
Deleted in bionic-proposed (Reason: moved to release) |
cvc4 (1.5-1) unstable; urgency=medium * Initial release. (Closes: #757048) -- Fabian Wolff <email address hidden> Sat, 29 Jul 2017 00:31:25 +0200
1 → 11 of 11 results | First • Previous • Next • Last |