fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build cvc5-1.3.3-2.fc44

ID216381
Package Namecvc5
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version1.3.3
Release2.fc44
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/cvc5.git#5cde93627c33afecf9606fbf30b946ac812d4ea8
SummaryAutomatic theorem prover for SMT problems
DescriptionCVC5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4. CVC5 is intended to be an open and extensible SMT engine. It can be used as a stand-alone tool or as a library. It has been designed to increase the performance and reduce the memory overhead of its predecessors.
git:https://github.com/cvc5/cvc5.git
Built byhezhengyu
State failed
Volume DEFAULT
StartedFri, 15 May 2026 18:29:49 CST
CompletedFri, 15 May 2026 18:34:38 CST
Taskbuild (f44, /rpms/cvc5.git:5cde93627c33afecf9606fbf30b946ac812d4ea8)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cvc5.git#5cde93627c33afecf9606fbf30b946ac812d4ea8'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Apr 30 2026 Jerry James <loganjerry@gmail.com> - 1.3.3-2 - Rebuild for cryptominisat 5.14.4 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 1.3.3-1 - Version 1.3.3 - Drop upstreamed libpoly patch * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Wed Dec 24 2025 Jerry James <loganjerry@gmail.com> - 1.3.2-2 - Fix the symfpu dependency (rhbz#2424843) * Thu Dec 18 2025 Jerry James <loganjerry@gmail.com> - 1.3.2-1 - Version 1.3.2 * Fri Dec 05 2025 Jerry James <loganjerry@gmail.com> - 1.3.1-2 - Rebuild for cadical 2.2.0 and libpoly 0.2.1 - Add patches to adapt to both * Thu Sep 25 2025 Jerry James <loganjerry@gmail.com> - 1.3.1-1 - Version 1.3.1 * Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 1.3.0-5 - Rebuilt for Python 3.14.0rc3 bytecode * Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 1.3.0-4 - Rebuilt for Python 3.14.0rc2 bytecode * Tue Jul 29 2025 Jiri Vanek <jvanek@redhat.com> - 1.3.0-3 - Rebuilt for java-25-openjdk as preffered jdk * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Thu Jul 03 2025 Jerry James <loganjerry@gmail.com> - 1.3.0-1 - Version 1.3.0 - Drop upstreamed cadical patch * Tue Jun 03 2025 Python Maint <python-maint@redhat.com> - 1.2.1-6 - Rebuilt for Python 3.14 * Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 1.2.1-5 - Add patch to adapt to cadical 2.1.x * Wed Apr 16 2025 Jerry James <loganjerry@gmail.com> - 1.2.1-4 - Build tests with cmake (fixes ninja-build build) * Mon Mar 03 2025 Cristian Le <fedora@lecris.me> - 1.2.1-3 - Remove scikit-build dependency * Tue Feb 11 2025 Jerry James <loganjerry@gmail.com> - 1.2.1-2 - Rebuild for cryptominisat 5.12.1 * Thu Jan 30 2025 Jerry James <loganjerry@gmail.com> - 1.2.1-1 - Version 1.2.1 - BR ethos to enable more tests * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Jan 13 2025 Jerry James <loganjerry@gmail.com> - 1.2.0-3 - Move configuration steps to %conf * Mon Jan 06 2025 Jerry James <loganjerry@gmail.com> - 1.2.0-2 - Remove unused m4ri dependency * Thu Sep 26 2024 Jerry James <loganjerry@gmail.com> - 1.2.0-1 - Version 1.2.0 - Drop unneeded patches: do-not-use-gold and rpath - Upstream changes broke %generate_buildrequires; list BRs manually - Stop disabling hidden ELF symbols * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1.1.2-4 - Rebuild for cryptominisat 5.11.22 * Sat Jun 08 2024 Python Maint <python-maint@redhat.com> - 1.1.2-3 - Rebuilt for Python 3.13