Wed, 11 Dec 2024 07:42:30 UTC | login

Information for build pplite-0.12-4.fc41

ID334455
Package Namepplite
Version0.12
Release4.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/pplite.git#3e8f9a214eccf585b7e947c1aae2218d1eacb4a8
SummaryConvex polyhedra library for abstract interpretation
DescriptionPPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.
git:https://github.com/ezaffanella/PPLite.git
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 09 Aug 2024 14:00:48 UTC
CompletedFri, 09 Aug 2024 17:43:55 UTC
Taskbuild (f41, /rpms/pplite.git:3e8f9a214eccf585b7e947c1aae2218d1eacb4a8)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/pplite.git#3e8f9a214eccf585b7e947c1aae2218d1eacb4a8'}}
Tags
f41
f42
RPMs
src
pplite-0.12-4.fc41.src.rpm (info) (download)
riscv64
pplite-0.12-4.fc41.riscv64.rpm (info) (download)
pplite-devel-0.12-4.fc41.riscv64.rpm (info) (download)
pplite-tools-0.12-4.fc41.riscv64.rpm (info) (download)
pplite-debuginfo-0.12-4.fc41.riscv64.rpm (info) (download)
pplite-debugsource-0.12-4.fc41.riscv64.rpm (info) (download)
pplite-tools-debuginfo-0.12-4.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> 0.12-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jul 17 2024 Jerry James <loganjerry@gmail.com> 0.12-3 - Fix VCS field * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> 0.12-2 - Temporarily disable tests on ppc64le * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> 0.12-1 - Version 0.12 * Wed Mar 13 2024 Jerry James <loganjerry@gmail.com> 0.11-5 - Rebuild for flint 3.1.0 * Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> 0.11-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> 0.11-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> 0.11-2 - Stop building for 32-bit x86 * Thu Aug 03 2023 Jerry James <loganjerry@gmail.com> 0.11-1 - Initial RPM