Wed, 11 Dec 2024 07:40:10 UTC | login

Information for build pplite-0.11-5.fc40

ID305546
Package Namepplite
Version0.11
Release5.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/pplite.git#b57e057cd2304fa7e651cf93a8ae3eaa87583d61
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.
https://github.com/ezaffanella/PPLite
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 14 Apr 2024 11:59:25 UTC
CompletedSun, 14 Apr 2024 13:30:32 UTC
Taskbuild (f40, /rpms/pplite.git:b57e057cd2304fa7e651cf93a8ae3eaa87583d61)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/pplite.git#b57e057cd2304fa7e651cf93a8ae3eaa87583d61'}}
Tags
f40
f41
RPMs
src
pplite-0.11-5.fc40.src.rpm (info) (download)
riscv64
pplite-0.11-5.fc40.riscv64.rpm (info) (download)
pplite-devel-0.11-5.fc40.riscv64.rpm (info) (download)
pplite-tools-0.11-5.fc40.riscv64.rpm (info) (download)
pplite-debuginfo-0.11-5.fc40.riscv64.rpm (info) (download)
pplite-debugsource-0.11-5.fc40.riscv64.rpm (info) (download)
pplite-tools-debuginfo-0.11-5.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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