Fri, 31 May 2024 08:11:07 UTC | login

Information for build libpoly-0.1.7-2.fc31

ID106160
Package Namelibpoly
Version0.1.7
Release2.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/libpoly.git#b24f7991b26c2289cb9284f758023a960d2634a0
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 failed
Volume DEFAULT
StartedSun, 28 Jul 2019 01:06:30 UTC
CompletedSun, 28 Jul 2019 01:51:58 UTC
Taskbuild (f31-candidate, /rpms/libpoly.git:b24f7991b26c2289cb9284f758023a960d2634a0)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/libpoly.git#b24f7991b26c2289cb9284f758023a960d2634a0'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Jan 01 2018 Jerry James <loganjerry@gmail.com> - 0.1.4-1 - Initial RPM