pplite-0.11-4.fc40 | Build Info

Information for build pplite-0.11-4.fc40

302623

Package Name

pplite

Version

0.11

Release

4.fc40

Epoch

Source

git+https://src.fedoraproject.org/rpms/pplite.git#9d7e0a7cf8f6e575f25e99f9fbd5fa2ec06c237f

Summary

Convex polyhedra library for abstract interpretation

Description

PPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Wed, 27 Mar 2024 18:29:05 UTC

Completed

Wed, 27 Mar 2024 19:14:43 UTC

Task

build (f40, /rpms/pplite.git:9d7e0a7cf8f6e575f25e99f9fbd5fa2ec06c237f)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/pplite.git#9d7e0a7cf8f6e575f25e99f9fbd5fa2ec06c237f'}}

Tags

f40

RPMs

src
	pplite-0.11-4.fc40.src.rpm (info) (download)
riscv64
	pplite-0.11-4.fc40.riscv64.rpm (info) (download)
	pplite-devel-0.11-4.fc40.riscv64.rpm (info) (download)
	pplite-tools-0.11-4.fc40.riscv64.rpm (info) (download)
	pplite-debuginfo-0.11-4.fc40.riscv64.rpm (info) (download)
	pplite-debugsource-0.11-4.fc40.riscv64.rpm (info) (download)
	pplite-tools-debuginfo-0.11-4.fc40.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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

Main Site Links:

Information for build pplite-0.11-4.fc40