libpoly-0.1.13-1.fc40 | Build Info

Information for build libpoly-0.1.13-1.fc40

261657

Package Name

libpoly

Version

0.1.13

Release

1.fc40

Epoch

Source

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

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

Thu, 11 Jan 2024 16:40:25 UTC

Completed

Thu, 11 Jan 2024 17:03:04 UTC

Task

build (f40, /rpms/libpoly.git:fd5693f480e9bf57e03311a0c9104b7329457cea)

Extra

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

Tags

f40

RPMs

src
	libpoly-0.1.13-1.fc40.src.rpm (info) (download)
riscv64
	libpoly-0.1.13-1.fc40.riscv64.rpm (info) (download)
	libpoly-devel-0.1.13-1.fc40.riscv64.rpm (info) (download)
	python3-libpoly-0.1.13-1.fc40.riscv64.rpm (info) (download)
	libpoly-debuginfo-0.1.13-1.fc40.riscv64.rpm (info) (download)
	libpoly-debugsource-0.1.13-1.fc40.riscv64.rpm (info) (download)
	python3-libpoly-debuginfo-0.1.13-1.fc40.riscv64.rpm (info) (download)

Logs

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

Changelog

* Tue Aug 01 2023 Jerry James <loganjerry@gmail.com> - 0.1.13-1 - Version 0.1.13 * Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> - 0.1.12-1 - Version 0.1.12 - Drop upstreamed patches * Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0.1.11-8 - Add post-release bug fixes needed by cvc5 * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jun 30 2023 Python Maint <python-maint@redhat.com> - 0.1.11-6 - Rebuilt for Python 3.12 * Mon Feb 27 2023 Jerry James <loganjerry@gmail.com> - 0.1.11-5 - Dynamically generate python BuildRequires - Install python dist-info * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 0.1.11-4 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Python Maint <python-maint@redhat.com> - 0.1.11-3 - Rebuilt for Python 3.11 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Oct 25 2021 Jerry James <loganjerry@gmail.com> - 0.1.11-1 - Version 0.1.11 - Enable tests for 32-bit platforms

Main Site Links:

Information for build libpoly-0.1.13-1.fc40