Sat, 24 Oct 2026 10:41:15 UTC | login

Information for build pplite-0.14-1.fc45

ID12391
Package Namepplite
Version0.14
Release1.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/pplite.git#592c4ce363553d6dab8df93cc082eb696820d539
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 byguoguo
State complete
Volume DEFAULT
StartedSat, 17 Oct 2026 05:28:39 UTC
CompletedSat, 17 Oct 2026 06:25:52 UTC
Taskbuild (f45, /rpms/pplite.git:592c4ce363553d6dab8df93cc082eb696820d539)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/pplite.git#592c4ce363553d6dab8df93cc082eb696820d539'}}
Tags
f45
RPMs
src
pplite-0.14-1.fc45.src.rpm (info) (download)
riscv64
pplite-0.14-1.fc45.riscv64.rpm (info) (download)
pplite-devel-0.14-1.fc45.riscv64.rpm (info) (download)
pplite-tools-0.14-1.fc45.riscv64.rpm (info) (download)
pplite-debuginfo-0.14-1.fc45.riscv64.rpm (info) (download)
pplite-debugsource-0.14-1.fc45.riscv64.rpm (info) (download)
pplite-tools-debuginfo-0.14-1.fc45.riscv64.rpm (info) (download)
Logs
riscv64
mock_config.log
state.log
build.log
root.log
dnf5.log
mock_output.log
hw_info.log
installed_pkgs.log
Changelog * Mon Aug 10 2026 Jerry James <loganjerry@gmail.com> - 0.14-1 - Version 0.14 * Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Wed Jul 15 2026 Jerry James <loganjerry@gmail.com> - 0.13-2 - Drop unused flint-devel BR * Tue Jan 27 2026 Jerry James <loganjerry@gmail.com> - 0.13-1 - Version 0.13 * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.12-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Wed Jan 14 2026 Jerry James <loganjerry@gmail.com> - 0.12-8 - Reflow the description text - Be more precise about globbing in %files * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.12-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.12-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Wed Jan 15 2025 Jerry James <loganjerry@gmail.com> - 0.12-5 - Move configuration steps to %conf