libpoly-0.1.7-3.fc31 | Build Info

Information for build libpoly-0.1.7-3.fc31

119064

Package Name

libpoly

Version

0.1.7

Release

3.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/libpoly.git#af9be7ab186acae7016dacd4d04633199e58ca45

Summary

C library for manipulating polynomials

Description

LibPoly 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Sat, 03 Aug 2019 21:10:35 UTC

Completed

Sat, 03 Aug 2019 22:01:05 UTC

Task

build (f31-candidate, /rpms/libpoly.git:af9be7ab186acae7016dacd4d04633199e58ca45)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/libpoly.git#af9be7ab186acae7016dacd4d04633199e58ca45'}}

Tags

f31

f32

f33

RPMs

src
	libpoly-0.1.7-3.fc31.src.rpm (info) (download)
riscv64
	libpoly-0.1.7-3.fc31.riscv64.rpm (info) (download)
	libpoly-devel-0.1.7-3.fc31.riscv64.rpm (info) (download)
	libpoly-debuginfo-0.1.7-3.fc31.riscv64.rpm (info) (download)
	libpoly-debugsource-0.1.7-3.fc31.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* 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 * 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

Main Site Links:

Information for build libpoly-0.1.7-3.fc31