Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM pplite-0.14-1.fc45.src.rpm

ID	72809
Build	pplite-0.14-1.fc45
Name	pplite
Version	0.14
Release	1.fc45
Epoch
Arch	src
Draft	False
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.
Build Time	2026-10-17 05:39:12 GMT
Size	16.08 MB
SIGMD5	9f1d53d8e657a6b81ef895a28443c0bd
License	GPL-3.0-or-later
VCS	git:https://github.com/ezaffanella/PPLite.git
Buildroot	f45-build-28956-633
Provides	pplite = 0.14-1.fc45 pplite-devel = 0.14-1.fc45 pplite-tools = 0.14-1.fc45
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	autoconf automake gcc-c++ libtool make pkgconfig(gmp) pkgconfig(mpfr) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 2 of 2 Name Size pplite-0.14-tag.tar.gz 16.06 MB pplite.spec 4.16 KB
Component of	No Buildroots