Thu, 12 Dec 2024 15:13:19 UTC | login

Information for build ppl-1.2-34.fc41

ID341313
Package Nameppl
Version1.2
Release34.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ppl.git#e9c461e464101e2b22e4f8282bf8bdf96c4b0591
SummaryThe Parma Polyhedra Library: a library of numerical abstractions
DescriptionThe Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 03 Oct 2024 12:35:11 UTC
CompletedThu, 03 Oct 2024 16:19:29 UTC
Taskbuild (f41, /rpms/ppl.git:e9c461e464101e2b22e4f8282bf8bdf96c4b0591)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ppl.git#e9c461e464101e2b22e4f8282bf8bdf96c4b0591'}}
Tags
f41
f42
RPMs
src
ppl-1.2-34.fc41.src.rpm (info) (download)
riscv64
ppl-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-devel-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-docs-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-java-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-java-javadoc-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-static-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-swiprolog-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-utils-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-debuginfo-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-debugsource-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-java-debuginfo-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-swiprolog-debuginfo-1.2-34.fc41.riscv64.rpm (info) (download)
ppl-utils-debuginfo-1.2-34.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
root.log
build.log
state.log
mock_output.log
Changelog * Tue Sep 17 2024 Jerry James <loganjerry@gmail.com> - 1.2-34 - Adapt to changes in the pl package in F41+ * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Feb 28 2024 Zhengyu He <hezhy472013@gmail.com> - 1.2-32 - Add support for riscv64 * Wed Feb 14 2024 Jerry James <loganjerry@gmail.com> - 1.2-31 - Rebuild for ppl 9.2.1 - Stop building for 32-bit x86 * Thu Feb 01 2024 Jerry James <loganjerry@gmail.com> - 1.2-30 - Rebuild for ppl 9.2.0 * Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-26 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Dec 20 2022 Jerry James <loganjerry@gmail.com> - 1.2-25 - Convert License tags to SPDX * Fri Dec 16 2022 Jerry James <loganjerry@gmail.com> - 1.2-25 - Rebuild for pl 9.0.2