Thu, 05 Dec 2024 00:03:08 UTC | login

Information for build yices-2.6.2-3.fc33

ID157644
Package Nameyices
Version2.6.2
Release3.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/yices.git#2323fdc98b4f0998b23753ee501187b739f51a1c
SummarySMT solver
DescriptionYices 2 is an efficient SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using the Yices 2 specification language, which includes tuples and scalar types. Yices 2 can also be used as a library in other software.
Built bydavidlt
State failed
Volume DEFAULT
StartedTue, 09 Jun 2020 06:19:59 UTC
CompletedTue, 09 Jun 2020 06:21:24 UTC
Taskbuild (f33, /rpms/yices.git:2323fdc98b4f0998b23753ee501187b739f51a1c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/yices.git#2323fdc98b4f0998b23753ee501187b739f51a1c'}}
Tags No tags
RPMs No RPMs
Changelog * Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-3 - Rebuild for cryptominisat 5.7.0 - Switch to upstream's solution for sphinx 3 support * Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-2 - Use native sphinx 3 support for enum instead of cenum extension (bz 1823515) * Thu Mar 26 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-1 - Version 2.6.2 - Drop upstreamed -missing-typedef patch - Add -big-endian patch to fix s390x build - Add -cryptominisat5 patch to fix build with recent cryptominisat releases - Skip tests on 32-bit platforms; some tests fail due to the limited size of a C integer * Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 2.6.1-5 - Add -missing-typedef patch to fix FTBFS with gcc 10 - Set -doc subpackage to noarch * Fri Nov 22 2019 Jerry James <loganjerry@gmail.com> - 2.6.1-4 - Add -fwrapv to build flags; thanks to Jeff Law for the diagnosis * Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 2.6.1-1 - New upstream version * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 04 2018 Jerry James <loganjerry@gmail.com> - 2.6.0-1 - New upstream version