libpoly-0.1.11-5.fc38 | Build Info

Information for build libpoly-0.1.11-5.fc38

239385

Package Name

libpoly

Version

0.1.11

Release

5.fc38

Epoch

Source

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

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

Mon, 13 Mar 2023 08:45:39 UTC

Completed

Mon, 13 Mar 2023 10:56:26 UTC

Task

build (f38, /rpms/libpoly.git:1a6e4f2d0b191cca02068af9951330dd4ba7db2a)

Extra

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

Tags

f38

f39

f40

RPMs

src
	libpoly-0.1.11-5.fc38.src.rpm (info) (download)
riscv64
	libpoly-0.1.11-5.fc38.riscv64.rpm (info) (download)
	libpoly-devel-0.1.11-5.fc38.riscv64.rpm (info) (download)
	python3-libpoly-0.1.11-5.fc38.riscv64.rpm (info) (download)
	libpoly-debuginfo-0.1.11-5.fc38.riscv64.rpm (info) (download)
	libpoly-debugsource-0.1.11-5.fc38.riscv64.rpm (info) (download)
	python3-libpoly-debuginfo-0.1.11-5.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Mon Jul 26 2021 Jerry James <loganjerry@gmail.com> - 0.1.10-1 - Version 0.1.10 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 0.1.9-2 - Rebuilt for Python 3.10 * Tue Apr 13 2021 Jerry James <loganjerry@gmail.com> - 0.1.9-1 - Version 0.1.9 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.8-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Main Site Links:

Information for build libpoly-0.1.11-5.fc38