libpoly-0.1.13-3.fc40 | Build Info

Information for build libpoly-0.1.13-3.fc40

294393

Package Name

libpoly

Version

0.1.13

Release

3.fc40

Epoch

Source

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

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

Fri, 01 Mar 2024 12:54:15 UTC

Completed

Fri, 01 Mar 2024 13:37:30 UTC

Task

build (f40, /rpms/libpoly.git:418d8fd6cf09d8041cebf150b322fe9d42df2d93)

Extra

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

Tags

f40

RPMs

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

Logs

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

Changelog

* Thu Jan 25 2024 Jerry James <loganjerry@gmail.com> - 0.1.13-3 - Add patch to fix incompatible pointer type * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.13-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * 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

Main Site Links:

Information for build libpoly-0.1.13-3.fc40