Fri, 31 May 2024 17:22:57 UTC | login

Information for build libpoly-0.1.8-1.fc33

ID146907
Package Namelibpoly
Version0.1.8
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/libpoly.git#c4925e46faeab2d48e93235163d4cb78f38eec3d
SummaryC library for manipulating polynomials
DescriptionLibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 07 May 2020 07:14:04 UTC
CompletedThu, 07 May 2020 07:52:19 UTC
Taskbuild (f33, /rpms/libpoly.git:c4925e46faeab2d48e93235163d4cb78f38eec3d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/libpoly.git#c4925e46faeab2d48e93235163d4cb78f38eec3d'}}
Tags
f33
RPMs
src
libpoly-0.1.8-1.fc33.src.rpm (info) (download)
riscv64
libpoly-0.1.8-1.fc33.riscv64.rpm (info) (download)
libpoly-devel-0.1.8-1.fc33.riscv64.rpm (info) (download)
python3-libpoly-0.1.8-1.fc33.riscv64.rpm (info) (download)
libpoly-debuginfo-0.1.8-1.fc33.riscv64.rpm (info) (download)
libpoly-debugsource-0.1.8-1.fc33.riscv64.rpm (info) (download)
python3-libpoly-debuginfo-0.1.8-1.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Thu Mar 26 2020 Jerry James <loganjerry@gmail.com> - 0.1.8-1 - Version 0.1.8 - Add sympy BR for the tests - Add the python3 interface - Bring back the check script for 64-bit platforms; 32-bit platforms cannot run all tests due to the limited size of a C integer * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.7-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.7-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 0.1.7-1 - New upstream version - Drop python2-only interface; we'll bring it back when it is ported to python3 - Drop python-only check script * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Tue Jul 03 2018 Jerry James <loganjerry@gmail.com> - 0.1.5-1 - New upstream version