pplite-0.11-1.fc40 | Build Info

266350

Package Name

Version

0.11

Release

1.fc40

Epoch

Source

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

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

State

complete

Volume

DEFAULT

Started

Mon, 13 Nov 2023 09:22:29 UTC

Completed

Mon, 13 Nov 2023 09:43:04 UTC

Task

Extra

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

Tags

RPMs

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

Logs

Changelog

* Thu Aug 03 2023 Jerry James <loganjerry@gmail.com> 0.11-1 - Initial RPM